Formal Boolean Proof of A ⊕ B' ⊕ C = (A ⊕ B ⊕ C)

  • Thread starter Thread starter nahanksh
  • Start date Start date
  • Tags Tags
    Proofs
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
nahanksh
Messages
38
Reaction score
0

Homework Statement


Prove that
[tex]A \oplus B' \oplus C = (A \oplus B \oplus C)'[/tex]

Homework Equations


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 ?
 
Physics news on Phys.org
I would start with the right hand side - it can be rewritten with some laws.
 
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)
 
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)