Вариант 2: Построить таблицу истинности для выражения (A ∨ ¬B) ∧ (A ∨ B).

Подставим все наборы значений A и B. Выражение упрощается по распределительному закону до A.

Выражение равносильно A.