Lehekülje De Morgani seadused lähteteksti vaatamine

'''De Morgani seadused''' on [[Boole'i algebra]]s ja [[lausearvutus]]es kasutusel olevat kaks põhisamaväärsust.

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

:<math>\neg(X\land Y)\iff(\neg X)\lor(\neg Y)</math>
:<math>\neg(X\lor Y)\iff(\neg X)\land(\neg Y)</math>

kus: 
*¬ is tähistab eitust
*<math>\land</math> tähistab [[konjunktsioon]]i
*<math>\lor</math> tähistab [[disjunktsioon]]i
*⇔  tähistab samaväärsust

== Viited ==
{{viited}}

{{Loogiline tehe}}

[[Kategooria:Loogika]]