Обозначим через 
поразрядную конъюнкцию неотрицательных целых чисел 
и 
Так, например, 
Для какого наибольшего неотрицательного целого числа 
формула 
тождественно истинна (т.е. принимает значение 
при любом неотрицательном целом значении переменной 
)?
Решение руками:
Введем обозначение: 
Тогда данное выражение перепишется в виде 
Воспользуемся тем, что 
Тогда наше выражение имеет вид 
Теперь воспользуемся тем же, только в обратную сторону. Запишем выражение так: 
Помним, что 
Значит, нам нужно найти наибольшее неотрицательное целое 
такое, что 
мы можем сразу вычислить. Так как 
можем выполнить поразрядное сложение:
Чтобы импликация была истинна, нам нужно, чтобы на тех местах, где справа стоит единица (в двоичной записи числа), слева она стояла тоже.
Таким образом, единица может стоять на тех местах, где она стоит в двоичной записи числа слева — необязательно, но если где-то и стоит, то только там. Но вспомним, что мы ищем максимальное 
: значит, мы хотим, чтобы в 
было как можно больше единиц. А так как единицы могут быть только на тех местах, где стоят единицы в 
наибольшее возможное 
— это и есть 
Решение программой:
for a in range(1000, 1, -1):
flag = True
for x in range(10000):
if ((x & a != 0) <= ((x & 11 == 0) <= (x & 17 != 0))) == False:
flag = False
break
if flag == True:
print(a)
break