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

Logic proof

  1. Feb 21, 2005 #1
    Given that XOR is defined by [itex]((X \wedge \neg Y) \vee (\neg X \wedge Y))[/itex], in order to prove that XOR is commutative is it sufficient to prove that
    [itex]((X \wedge \neg Y) \vee (\neg X \wedge Y)) \supset ((Y \wedge \neg X) \vee (\neg Y \wedge X))[/itex]
    is a tautology?
  2. jcsd
  3. Feb 21, 2005 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Think about what that says:

    If (X xor Y), then (Y xor X).

    Is that the same as X xor Y = Y xor X?


    Now, in general you would leave the last step implicit, because it's fairly routine, but I imagine you're interested in full rigor.
  4. Feb 21, 2005 #3
    OK, I'd like to retract that ridiculous statement before I get banned. :rofl: :rofl: :rofl:

    Maybe I'd better get some sleep... :zzz:
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook