Задание
Обозначим через ДЕЛ(\(n\), \(m\)) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Определи, для какого наименьшего целого неотрицательного \(a\) выражение
\[(\text{ДЕЛ}(x,3) \rightarrow \neg \text{ДЕЛ}(x,4)) \lor (x + A \geq 116)\]
тождественно истинно, то есть принимает значение \(1\) при любом натуральном значении переменной \(x\).
Ответ: [ ].