De Morgani seadused

De Morgani seadused on Boole'i algebras ja lausearvutuses kasutusel olevat kaks põhisamaväärsust.

Formaalselt saab De Morgani seadused kirja panna nii, võttes muutujateks X ja Y:

$\neg (X\land Y)\iff (\neg X)\lor (\neg Y)$

$\neg (X\lor Y)\iff (\neg X)\land (\neg Y)$

kus:

• ¬ is tähistab eitust
• $\land$ tähistab konjunktsiooni
• $\lor$ tähistab disjunktsiooni
• ⇔ tähistab samaväärsust