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

Basic logic question

  1. Aug 12, 2006 #1
    [tex] P \to \neg \, Q [/tex]

    [tex]P \vee Q \equiv P \oplus Q \text{ ?}[/tex]
    Last edited: Aug 12, 2006
  2. jcsd
  3. Aug 12, 2006 #2


    User Avatar
    Science Advisor

    The second symbol there is XOR?

    P -> ~Q
    ~P v ~Q
    P v Q
    (~P v ~Q) n (P v Q)
    P XOR Q

    P -> ~Q
    P XOR Q
    (~P v ~Q) n (P v Q)
    P v Q

    Yes, they are equivalent.
  4. Aug 13, 2006 #3
    I see :smile:; there's no difference between the two statements (given that condition)
    Correct; what symbol do you use for XOR ?
    Last edited: Aug 13, 2006
  5. Aug 23, 2006 #4


    User Avatar
    Staff Emeritus
    Gold Member

    For the sake of thoroughness, shouldn't you add the step above? It more straightforwardly describes the meaning of "XOR."
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook