(A ∨ B) → ¬B. Как доказать?

Условие (A ∨ B) → ¬B может быть проанализировано с помощью таблицы истинности, чтобы определить его истинность при различных значениях A и B.