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

Вычислим значение выражения для всех наборов A и B. Сначала выполняются операции отрицания и конъюнкции, затем дизъюнкция.

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