9. Вставьте пропущенное слово. Импликацию логических переменных A и B можно заменить операндов ¬A и B.

Импликация \(P \to Q\) равносильна \(\neg P \lor Q\). Подставляем \(P=\neg A\) и \(Q=B\): \(\neg(\neg A) \lor B = A \lor B\).

Ответ: дизъюнкцией