Results 1 to 6 of 6

Math Help - logical equivalences

  1. #1
    Junior Member
    Joined
    Oct 2008
    Posts
    69

    logical equivalences

    ~(p and q) = q or ((~p or r) and (~p or ~r))

    Could anyone help me figure out how to show that these are equivalent using logical equivalences. I tried using De Morgans law on the RHS and simplifying it to the LHS but I keep getting (q or p) which is not equivalent to ~(p and q).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769
    If both p and q are true, then the left-hand side is false, but the right-hand side is true. If you had ~q on the right, I think that would be correct.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Oct 2008
    Posts
    69
    So basically it was written wrong? Cuz i copied that question straight out of a powerpoint that I'm using to study so I know I didn't change how its written. If it was written wrong it would make sense why I can't figure it out... I've tried just about every manipulation I can think of.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769
    I think so, but don't take my word for it. If this is an assignment, I would let the instructor know and ask what to do with it. But to do this you need to be (reasonably) sure that, as the problem is written, the two sides are not logically equivalent.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Oct 2008
    Posts
    69
    ok, cool. Thanx!
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Dec 2009
    Posts
    2

    I think you have it wrong

    DeMorgan ~(p and q) and you get ~p v ~ q
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Help with logical equivalences
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: August 28th 2010, 12:48 PM
  2. Use basic logical equivalences to show?
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: October 25th 2009, 03:14 PM
  3. Standard logical equivalences
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: August 1st 2009, 04:33 AM
  4. Logical Equivalences
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: January 29th 2009, 11:28 AM
  5. Logical equivalences
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: September 29th 2008, 03:16 PM

Search Tags


/mathhelpforum @mathhelpforum