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

  • Thread starter Thread starter nahanksh
  • Start date Start date
  • Tags Tags
    Proofs
AI Thread Summary
The discussion focuses on proving the equation A ⊕ B' ⊕ C = (A ⊕ B ⊕ C)'. The user attempts to express the left side using the equation A ⊕ B' ⊕ C = ABC' + A'B'C' + A'BC + AB'C but is unsure how to proceed. Suggestions include starting with the right-hand side and applying De Morgan's laws to simplify the expression. The conversation emphasizes the need for clarity in applying these laws to reach the proof. Overall, the thread seeks guidance on formal Boolean proof techniques.
nahanksh
Messages
38
Reaction score
0

Homework Statement


Prove that
A \oplus B' \oplus C = (A \oplus B \oplus C)'

Homework Equations


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 ?
 
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)
 
Thread 'Have I solved this structural engineering equation correctly?'
Hi all, I have a structural engineering book from 1979. I am trying to follow it as best as I can. I have come to a formula that calculates the rotations in radians at the rigid joint that requires an iterative procedure. This equation comes in the form of: $$ x_i = \frac {Q_ih_i + Q_{i+1}h_{i+1}}{4K} + \frac {C}{K}x_{i-1} + \frac {C}{K}x_{i+1} $$ Where: ## Q ## is the horizontal storey shear ## h ## is the storey height ## K = (6G_i + C_i + C_{i+1}) ## ## G = \frac {I_g}{h} ## ## C...
Back
Top