De Morgani seadused

Allikas: Vikipeedia

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:

\neg(X\land Y)\iff(\neg X)\lor(\neg Y)
\neg(X\lor Y)\iff(\neg X)\land(\neg Y)

kus:

Viited[muuda | redigeeri lähteteksti]