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:

kus:

Viited

Konjunktsioon (NING)  • Disjunktsioon (VÕI)  • Eitus (EI)  • Konjunktsiooni eitus (NING-EI)  • Disjunktsiooni eitus (VÕI-EI)  • Välistav disjunktsioon (XOR)  • Implikatsioon  • Ekvivalents
Vaata ka
Allikas: https://et.wikipedia.org/wiki/De_Morgani_seadused
No tags for this post.