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).DeMorgan’s Theorems at mtsu.edu
Mějme množiny a nechť označuje doplněk dané množiny.
Potom platí vztahy
Formální vztahy pro logické operace:
kde: 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
Kategorie:Množinové operace a vlastnosti Kategorie:Logika