Побудуємо таблиці істинності для формули
(табл. 4.1) і формули
(табл. 4.3). Перевіримо еквівалентність формул за допомогою цих таблиць (табл. 4.3).
Таблиця 4.3 - Узагальнена таблиця істинності функцій, які реалізовані формулами
і 
Аналіз показав, що таблиці істинності функцій не збігаються (стовпці
і
різні), отже, формули нееквівалентні.
Завдання 6. Перевірити, чи справедливі наступні відношення:
а)
;
б)
.