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:
![{\displaystyle \neg (X\land Y)\iff (\neg X)\lor (\neg Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/050c9708972839373feda6a27a44fe5ed81688e1)
![{\displaystyle \neg (X\lor Y)\iff (\neg X)\land (\neg Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18b8e223fb96ee0a87f9aca6ae0d3ffb78aaa409)
kus:
- ¬ is tähistab eitust
tähistab konjunktsiooni
tähistab disjunktsiooni
- ⇔ tähistab samaväärsust