Formal boolean proofs.

[nahanksh]

1. The problem statement, all variables and given/known data
Prove that
A \oplus B' \oplus C = (A \oplus B \oplus C)'


2. Relevant equations



3. The attempt at a solution
I tried to use A \oplus B' \oplus C = 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 ?

[Synaesthesia]

I would start with the right hand side - it can be rewritten with some laws.

[Synaesthesia]

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)

[Synaesthesia]

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)