Python дано 3 действительных числа а , б и с. если а больше б и б больше с каждое число увеличивается вдвое, по другому каждое число уменьшается на единицу. разобрать программу реализации этого
«Переводим» условие задачи на язык алгебры логики ;-)
1. Определяемся с системой обозначений для логических высказываний:
А – Алёша Попович;
М – Микула Селянинович;
Д – Добрыня Никитич.
Илья Муромец первым перед царём-батюшкой слово держал, но про него никто ничего не сказал :-)
«Это всё Алёша Попович, царь-батюшка» – это Алёша Попович«То был Микула Селянинович» – это МикулаСелянинович«Не прав Алёша, не я то» – это не Микула Селянинович«И не я, царь-батюшка» – это не Добрыня Никитич
Сведём выше сказанное в единое целое (логическая связка «И»):

Учитывая слова Бабы-Яги:
«А прав-то лишь один из богатырей, видела я всю битву своими глазами»:
Правду сказал Илья МуромецПравду сказал Алёша ПоповичПравду сказал Микула СеляниновичПравду сказал Добрыня Никитич
Лирическое отступление ;-) алгебра логики
∧ – знак логического умножения (конъюнкция) – соединение высказываний с союза «И» (AND). X∧Y; X&Y; X·Y или XY. Где: « ∧ », « & », « · » – знаки, обозначающие операцию логического умножения. Все варианты записи равнозначны. В решении нашей задачи для облегчения восприятия итоговой формулы я использую вариант записи логического умножения «XY».
∨ – знак логического сложения (дизъюнкция) – соединение высказываний с союза «ИЛИ» (OR). X∨Y; X + Y. Где: « ∨ », « + » – знаки, обозначающие операцию логического сложения. Оба варианта записи равнозначны. В решении нашей задачи я использую вариант записи логического сложения «X + Y».
Некоторые операции и законы алгебры логики, необходимые для решения нашей задачи:
закон двойного отрицания:

закон идемпотентности для конъюнкции:

операции с переменной и её инверсией:

2. Конструируем итоговую логическую формулу, описывающую логические связи между всеми высказываниями условия задачи. По условию нашей задачи прав только один из богатырей (логическая связка «ИЛИ»):

3. Определяем значения истинности логической формулы. Упрощаем формулу. Используем операции и законы алгебры логики и учитываем, что по условию нашей задачи: А ∧ М = 0; А ∧ Д = 0; М ∧ Д = 0
Крок другий. Виділяю в ній опорну слово або вираз, в якому мені бачиться головний сенс.
Крок третій. Намагаюся своїми словами коротко сформулювати тему.
Крок четвертий. Повертаю тему до себе, питаю себе: Що я хочу сказати з цього приводу? »,« Що я можу сказати з цього приводу? »Це обов'язкова умова успішного вирішення творчого завдання: треба встановити зв'язок між собою, своїм досвідом і предметом, про який йде мова, тоді з'явиться головне - моя власна думка.
Крок п'ятий. Я коротко намагаюся відповісти на ці питання - одним-двома реченнями, я записую їх у чернетці, як в Твіттері. Це може бути початком, відправною точкою моїх міркувань і вступною частиною мого твору.
Примітка:
Якщо завданням міркування є аналіз чужої думки. Те спочатку наводиться формулювання цієї думки і її докази, а потім - заперечення, якщо такі є; в ув'язненні автор робить висновок, наскільки вірно аналізоване твердження.
Крок шостий. Я намагаюся зайняти іншу (протилежну) позицію по відношенню до своєї думки, уявити собі свого опонента і почати з ним діалог, намагаючись довести вірність свого судження.
Крок сьомий. Пригадую приклади з літературних творів, які до мені довести свою правоту.
Крок восьмий. Вибудовую логічну послідовність своїх доказів.
Крок дев'ятий. Записую їх, складаю план.
Крок десятий. Пишу чернетка, намагаючись зв'язно, красномовно і переконливо викласти свої думки.
Крок одинадцятий. Повертаюся до початку своїх міркувань; порівнюю вихідну думку і думки, які прийшли під час міркування, звернення до художніх текстів; роблю висновки, записую їх; це заключна частина мого твору.
Крок дванадцятий. Я перевіряю написане, переписую в чистовик; перевіряю пунктуацію і орфографію; ще раз читаю, знаходжу помилки, виправляю їх.
Решение задачи:
«Переводим» условие задачи на язык алгебры логики ;-)
1. Определяемся с системой обозначений для логических высказываний:
А – Алёша Попович;
М – Микула Селянинович;
Д – Добрыня Никитич.
Илья Муромец первым перед царём-батюшкой слово держал, но про него никто ничего не сказал :-)
«Это всё Алёша Попович, царь-батюшка» – это Алёша Попович«То был Микула Селянинович» – это МикулаСелянинович«Не прав Алёша, не я то» – это не Микула Селянинович«И не я, царь-батюшка» – это не Добрыня Никитич
Сведём выше сказанное в единое целое (логическая связка «И»):

Учитывая слова Бабы-Яги:
«А прав-то лишь один из богатырей, видела я всю битву своими глазами»:
Правду сказал Илья МуромецПравду сказал Алёша ПоповичПравду сказал Микула СеляниновичПравду сказал Добрыня Никитич
Лирическое отступление ;-) алгебра логики
∧ – знак логического умножения (конъюнкция) – соединение высказываний с союза «И» (AND). X∧Y; X&Y; X·Y или XY. Где: « ∧ », « & », « · » – знаки, обозначающие операцию логического умножения. Все варианты записи равнозначны. В решении нашей задачи для облегчения восприятия итоговой формулы я использую вариант записи логического умножения «XY».
∨ – знак логического сложения (дизъюнкция) – соединение высказываний с союза «ИЛИ» (OR). X∨Y; X + Y. Где: « ∨ », « + » – знаки, обозначающие операцию логического сложения. Оба варианта записи равнозначны. В решении нашей задачи я использую вариант записи логического сложения «X + Y».
Некоторые операции и законы алгебры логики, необходимые для решения нашей задачи:
закон двойного отрицания:

закон идемпотентности для конъюнкции:

операции с переменной и её инверсией:

2. Конструируем итоговую логическую формулу, описывающую логические связи между всеми высказываниями условия задачи. По условию нашей задачи прав только один из богатырей (логическая связка «ИЛИ»):

3. Определяем значения истинности логической формулы. Упрощаем формулу. Используем операции и законы алгебры логики и учитываем, что по условию нашей задачи: А ∧ М = 0; А ∧ Д = 0; М ∧ Д = 0

ответ: Змея Горыныча победил Добрыня Никитич!
Алгоритм роботи над твором-міркуванням
Крок перший. Я уважно читаю формулювання теми.
Крок другий. Виділяю в ній опорну слово або вираз, в якому мені бачиться головний сенс.
Крок третій. Намагаюся своїми словами коротко сформулювати тему.
Крок четвертий. Повертаю тему до себе, питаю себе: Що я хочу сказати з цього приводу? »,« Що я можу сказати з цього приводу? »Це обов'язкова умова успішного вирішення творчого завдання: треба встановити зв'язок між собою, своїм досвідом і предметом, про який йде мова, тоді з'явиться головне - моя власна думка.
Крок п'ятий. Я коротко намагаюся відповісти на ці питання - одним-двома реченнями, я записую їх у чернетці, як в Твіттері. Це може бути початком, відправною точкою моїх міркувань і вступною частиною мого твору.
Примітка:
Якщо завданням міркування є аналіз чужої думки. Те спочатку наводиться формулювання цієї думки і її докази, а потім - заперечення, якщо такі є; в ув'язненні автор робить висновок, наскільки вірно аналізоване твердження.
Крок шостий. Я намагаюся зайняти іншу (протилежну) позицію по відношенню до своєї думки, уявити собі свого опонента і почати з ним діалог, намагаючись довести вірність свого судження.
Крок сьомий. Пригадую приклади з літературних творів, які до мені довести свою правоту.
Крок восьмий. Вибудовую логічну послідовність своїх доказів.
Крок дев'ятий. Записую їх, складаю план.
Крок десятий. Пишу чернетка, намагаючись зв'язно, красномовно і переконливо викласти свої думки.
Крок одинадцятий. Повертаюся до початку своїх міркувань; порівнюю вихідну думку і думки, які прийшли під час міркування, звернення до художніх текстів; роблю висновки, записую їх; це заключна частина мого твору.
Крок дванадцятий. Я перевіряю написане, переписую в чистовик; перевіряю пунктуацію і орфографію; ще раз читаю, знаходжу помилки, виправляю їх.