PDF-версии: 
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых
Например,
Для какого наименьшего неотрицательного целого
тождественно истинна (т. е. принимает
Решение. Преобразуем выражение по законам алгебры логики:
Далее применяем обозначения и реализуем способ решения, изложенный К. Ю. Поляковым в теоретических материалах (см., например, раздел «Теория» на нашем сайте), без дополнительных пояснений.
Имеем импликацию
Таким образом, наименьшее А = 11002 = 1210.
Приведём другое решение.
Решим задание с помощью языка программирования PascalABC методом перебора:
var
A, x: integer;
B: boolean;
begin
for A := 0 to 31 do begin
B := True;
for x := 0 to 31 do
if not (((x and 17) <> 0) or ((x and 29) = 0) or ((x and A) <> 0)) then
B := False;
if B then begin
writeln(A);
break;
end;
end;
end.
Приведём решение на языке Python.
for A in range(32):
B = True
for x in range(32):
if ((x&17!=0) or (x&29==0) or (x&A!=0))==0:
B=False
if B:
print(A)
break
Заметим, что можно не перебирать числа,
Ответ: 12.
Приведём решение Ильи Андрианова на языке Python.
def F(x, A):
return (x & 17 == 0) <= ((x & 29 != 0) <= (x & A != 0))
R = []
for A in range(0, 1000):
if all(F(x, A) for x in range(10000)):
R.append(A)
print(min(R))