De Morganovy zákony

Z Wikipedie, otevřené encyklopedie

de Morganovy zákony určují vztah mezi sjednocením, průnikem a doplňkem množiny.

Mějme množiny A,B a {}^\prime nechť označuje doplněk dané množiny.

Potom platí vztahy

{(A \cup B)}^\prime = A^\prime \cap B^\prime
{(A \cap B)}^\prime = A^\prime \cup B^\prime

De Morganovy zákony se uplatňují především v Booleově algebře.