Доведемо рівносильність, використовуючи таблицю істинності для формули
і формули
(табл. 8.1).
Таблиця 8.1 − Таблиця істинності для формул
і 
Формули приймають однакові істиннісні значення, отже, вони рівносильні.
Завдання 7. Показати, що висловлення
є логічним наслідком висловлення
.