Имеется высказывание: ¬(A → B). Какой вид принимает данное высказывание, если его упростить с помощью равносильных формул алгебры высказываний?

Question

Accepted Answer

Используем равносильность отрицания импликации: \(\neg(A \to B) \equiv \neg A \lor B\).

Ответ: \(\neg A \lor B\).