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:

$\mathrm{\neg }(X\wedge Y)⟺(\mathrm{\neg }X)\vee (\mathrm{\neg }Y)$

$\mathrm{\neg }(X\vee Y)⟺(\mathrm{\neg }X)\wedge (\mathrm{\neg }Y)$

kus:

• ¬ is tähistab eitust
• $\wedge$ tähistab konjunktsiooni
• $\vee$ tähistab disjunktsiooni
• ⇔ tähistab samaväärsust