next up previous
Next: About this document ... Up: bool Previous: Simplify as much as

Prove or Disprove the following expressions

  1. $(X \oplus Y)' = (X' \oplus Y)$
  2. $(A' \oplus T')= ( A \oplus T)$
  3. $[a'(b + c')]' + b'c = a$
  4. $wvx'+wv'x+w'vx' + w'v'x = w\oplus v \oplus x $
  5. $(A+D) (A + B + D) = (A+ B)$
  6. $(M'N) \oplus (MN')= M \oplus N $
  7. $(x+a)(y+b)(x + c) (y+ a) (x+b)(y+c) = (xy + abc)$
  8. $(K \oplus L \oplus M \oplus N \oplus P)' = (K' \oplus L' \oplus M' \oplus N'\oplus P')$

MM Hugue 2004-09-08