De Morgan's laws for Boolean algebra


THEOREM    \(- (x \sqcup y) = - x \sqcap - y\)

Proof available

THEOREM    \(- (x \sqcap y) = - x \sqcup - y\)

Proof available

Parent topics