De Morganin lait

De Morganin lait ovat logiikan päättelysääntöjä.

$\neg (p\wedge q)\iff (\neg p)\vee (\neg q)$

$\neg (p\vee q)\iff (\neg p)\wedge (\neg q)$

Säännöt on nimetty löytäjänsä Augustus De Morganin (1806–1871) mukaan.