Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Например, 14&5 = 11102&01012 = 01002 = 4.

Найти наименьшее неотрицательно число А.

(X ∧ A = 0) ∧ ¬ (X ∧ 35 ≠ 0 → X ∧ 52 ≠ 0) = 0

Решение:

Согласно закона сокращения A → B = ¬ A ∨ B - упрощаем выражение и убираем отрицание:

(X ∧ A = 0) ∧ (X ∧ 35 ≠ 0  X ∧ 52 = 0) = 0

Переводим числа в степень двойки:

3510 = 32 + 2 + 1   получаем: X ∉ [32, 2, 1]

5210 = 32 + 16 + 4  получаем X ∈ [32, 16, 4]

т.к. выражение должно притять ложное выражение, берем диапазон ∉ [32, 2, 1] т.к. [ 32 ] принадлежит X из этого у нас остается только  [2, 1]  складывам 2+1 =3

Получаем наименьшее возможное число А

Ответ: 3