De Morganovy zákony
![ikona](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2c/Broom_icon.svg/48px-Broom_icon.svg.png)
Tento článek potřebuje úpravy.
Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.
De Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny a další se zabývají matematickou logikou. Zákony se jmenují po Augustu De Morganovi (1806–1871).[1]
Mějme množiny a nechť označuje doplněk dané množiny.
Potom platí vztahy
Formální vztahy pro logické operace:
kde:
- a A je negace (NOT)
- je konjunkce (AND)
- je disjunkce (OR)
- je zde metalogický symbol, který znamená "lze v logickém důkazu nahradit".
De Morganovy zákony se uplatňují především v Booleově algebře.
Reference
- ↑ DeMorgan’s Theorems Archivováno 23. 3. 2008 na Wayback Machine.at mtsu.edu
![]() | Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |
Portály: Matematika