Условие: Тип 15 № 34521

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Например, 14 & 5  =  1110_2 & 0101_2  =  0100_2  =  4.

Для какого наибольшего целого числа А формула

x & 51 = 0 ∨ (x & 41 = 0 → x & А = 0)

тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?

Вариант 1: классическое решение через переменную True

Комментарии к первому варианту решения задачи:

1. создаем свою функцию для обработки формулы логики из условия, функция принимает всего два аргумента
2. возвращаем значение логической функции из условия
4. создадим пустой список для удобства поиска наибольшего подходящего числа
5. пробегаем диапазон неотрицательных целых чисел через range()
6. для каждого нового взятого числа А создаем переменную со значением True
7. таким же образом пробегаем диапазон для переменной х - просто большое кол-во чисел
8. если функция при переданных ей аргументах вернет ложь, то такое А нам не подходит по условию
9. в таком случае меняем переменную flag на False значение
10. и прерываем цикл перебора переменной х, так как это просто трата времени