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: ¬ ( X ∧ Y ) ⟺ ( ¬ X ) ∨ ( ¬ Y ) {\displaystyle \neg (X\land Y)\iff (\neg X)\lor (\neg Y)} ¬ ( X ∨ Y ) ⟺ ( ¬ X ) ∧ ( ¬ Y ) {\displaystyle \neg (X\lor Y)\iff (\neg X)\land (\neg Y)} kus: ¬ is tähistab eitust ∧ {\displaystyle \land } tähistab konjunktsiooni ∨ {\displaystyle \lor } tähistab disjunktsiooni ⇔ tähistab samaväärsust