(О. Лысенков) Обозначим через mod(a, b) остаток от деления натурального числа a на натуральное число b. Для какого наименьшего неотрицательного числа A формула
\((mod(x, 12) = A)) \rightarrow ((mod(x, 8) \neq 7) \lor (mod(x, 9) \neq 2))\)
тождественно истинна (т.е. принимает значение 1 при любом неотрицательном значении переменной x).