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

Знак «+» обозначает дизъюнкцию, точка — конъюнкцию. Выражение упрощается до A ∧ ¬B.