Dwa szczególnie istotne prawa rachunku zdań to prawa de Morgana.
Umożliwiają one przekształcanie koniunkcji na alternatywę oraz alternatywy na koniunkcję.
I prawo de Morgana
- prawo zaprzeczenia koniunkcji.
Prawo to mówi o tym, że negacja koniunkcji jest równoważna alternatywie negacji.
Tabelka wartości logicznych dla I prawa de Morgana
II prawo de Morgana
- prawo zaprzeczenia alternatywy.
Prawo mówi o tym, że negacja alternatywy jest równoważna koniunkcji negacji.
Prawa można też, równoważnie, zapisać w języku rachunku kwantyfikatorów, i wówczas mają one następującą postać:
Zadanie:
Sprawdzić (za pomocą tabelki) prawdziwość drugiego prawa de Morgana).