Условие задачи
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.
(Так, например, 14&5 = 11102&01012 = 01002 = 4)
Для какого наименьшего неотрицательного целого числа А формула x&51 = 0 ∨ (x&41 = 0 → x&А ≠ 0) тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?
Ответ
Преобразуем выражение заменим импликацию дизъюнкцией.
Получим:
Также можно записать следующее: