Досить переконатися, що формула ( 
) 
є тавтологією.
Використовуємо тотожності логіки висловлень для еквівалентних перетворень, тобто 
. Тоді
.
Таким чином доведено, що формула є тавтологією.
Завдання 8. Перевірити правильність наступного міркування. Якщо Джонс не зустрічав у цю ніч Сміта, то або Сміт був убивцею, або Джонс бреше. Якщо Сміт не був убивцею, то Джонс не зустрічав Сміта в цю ніч, і вбивство мало місце після опівночі. Якщо вбивство було здійснено після опівночі, то або Сміт був убивцею, або Джонс бреше. Отже, Сміт був убивцею.
