Условие:
Проверить двумя способами эквивалентность формул:
- составлением таблиц истинности;
- с помощью эквивалентных преобразований.

Решение:
Составим таблицы истинности:

Как видим, формулы являются эквивалентными.
Преобразуем первую формулу
:
- избавляемся от эквивалентности :
