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

Discrete Math - equivalence laws

  1. Jan 25, 2010 #1
    I need to show that P<->Q is logically equivalent to ( P ^ Q ) v ( ~P ^ ~Q)

    So far I have P <-> Q is equivalent to ( ~P v Q ) ^ ( ~Q v P ) by a example

    I have no idea where to go from here
     
  2. jcsd
  3. Jan 26, 2010 #2

    tiny-tim

    User Avatar
    Science Advisor
    Homework Helper

    Hi Waggattack! :smile:
    Now use the distributive law (ie, expand). :wink:
     
  4. Jan 26, 2010 #3

    HallsofIvy

    User Avatar
    Science Advisor

    Wouldn't a fairly simple "truth table" suffice?
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook