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


Проверить двумя способами эквивалентность формул:

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

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