Eksempel: Ekvivalente formler vist ved sannhetsverditabell
Test deg selv
Hvilke av disse formlene er ekvivalente med $\neg (P \lor Q)$? Sett opp sannhetsverditabeller for formlene til hjelp.
Valuasjonen som gjør $P$ sann og $Q$ usann gjør $\neg (P \lor Q)$ usann og $(\neg P \lor \neg Q)$ sann. Disse to formlene har altså ulik sannhetsverdi for (minst) en valuasjon, og er derfor ikke ekvivalente.
Valuasjonen som gjør $P$ usann og $Q$ sann gjør $\neg (P \lor Q)$ usann og $(P \rightarrow \neg Q)$ sann. Disse to formlene har altså ulik sannhetsverdi for (minst) en valuasjon, og er derfor ikke ekvivalente.