Next: Prove or Disprove the
Up: bool-ans
Previous: bool-ans
-
(distributive law (16))
(identity 7)
(identity 2)
A \& B
-
(commutative law (10))
(distributive law)
(distributive law)
(identity 7)
(identity 3)
-
(distributive)
(distributive)
(identity 3)
p \& r
-
(distributive)
(identity 8)
-
(distributive law (15))
(identity 6)
C | (D \& E \& X)
-
(distributive law)
(identities 7 and 3)
-
(definition)
(DeMorgan's law)
~f | ~g
-
(XOR is commutative & associative)
(identities)
-
(definition)
(DeMorgan's)
(identities & DeMorgan's)
(DeMorgan's once again)
u \& w | ~t \& ~u
-
(DeMorgan's and identity)
-
(Distributive & DeMorgan's)
~x \& ~(a \& b \& c \& d)
MM Hugue
2008-01-27