Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Formal boolean proofs.

  1. Feb 2, 2010 #1
    1. The problem statement, all variables and given/known data
    Prove that
    [tex]A \oplus B' \oplus C = (A \oplus B \oplus C)'[/tex]


    2. Relevant equations



    3. The attempt at a solution
    I tried to use [tex]A \oplus B' \oplus C[/tex] = ABC' + A'B'C' + A'BC + AB'C

    But i am not sure how to proceed further from there...

    Please could someone give me a little bit of help ?
     
  2. jcsd
  3. Feb 2, 2010 #2
    I would start with the right hand side - it can be rewritten with some laws.
     
  4. Feb 2, 2010 #3
    I'm sorry that was still vague. De Morgan's laws to be specific.
    NOT (P OR Q) = (NOT P) AND (NOT Q)
    NOT (P AND Q) = (NOT P) OR (NOT Q)
     
  5. Feb 2, 2010 #4
    I'm sorry that was still vague. De Morgan's laws to be specific.
    NOT (P OR Q) = (NOT P) AND (NOT Q)
    NOT (P AND Q) = (NOT P) OR (NOT Q)
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook