Таблицы
Составить таблицы истинности для формул.
Установить эквивалентность формул с помощью таблиц истинности.