x&α≠0→(x&β=0→x&A≠0)
*Для Вашего удобства выражение в виде текста и в прикрепленном файле
Полная версия: ЕГЭ N15 | Алгебра логики
Выражение истинно при всех целых x ⩾ 0. Программа на вход получает целые неотрицательные числа α и β. Требуется определить наименьшее возможное целое неотрицательное значение A.
x&α≠0→(x&β=0→x&A≠0)
*Для Вашего удобства выражение в виде текста и в прикрепленном файле
x&α≠0→(x&β=0→x&A≠0)
*Для Вашего удобства выражение в виде текста и в прикрепленном файле
Вот это
можешь превратить вот в это
Дальше делаешь эти проверки икса на неотрицательность, альфы на ненулёвость, беты на нулёвость и а на ненулёвость.
Получится вот такая фигня
Дальше делаешь функцию-предикат (предикат возвращает True или False)
И после этого делаешь код, который вводит из консоли alpha и beta, а потом в цикле от нуля до бесконечности начинает перебирать значения A по одному и все эти значения подаёт в функцию predicate(), пока она не даст True. На каком значении A эта функция даст True, то значение A и нужно вернуть в результате.
x&α≠0→(x&β=0→x&A≠0)
(x≥0)&((α≠0)→((β=0)→(A≠0))
Дальше делаешь эти проверки икса на неотрицательность, альфы на ненулёвость, беты на нулёвость и а на ненулёвость.
Получится вот такая фигня
a = x≥0
b = α≠0
c = β=0
d = A≠0
a&(b→(c→d))
Дальше делаешь функцию-предикат (предикат возвращает True или False)
def predicate(x, alpha, beta, a): ...