De Morganin lait

Wikipedia

Loikkaa: valikkoon, hakuun

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.


Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.
Henkilökohtaiset työkalut