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

Logical equivalencies involving ifs and nors

  1. Oct 15, 2012 #1
    Can anyone solve this step by step, so I can see how it's done? I've been at for a while now and can't seem to get it. Here's the problem:

    Find a compound proposition logically equivalent to p → q using only the logical operator ↓.

    Thanks for the help. I'm really trying to get this stuff, but it's not coming easy.
  2. jcsd
  3. Oct 15, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The trick is to obtain a NOT function by p NOR p. That breaks the symmetry.
  4. Oct 15, 2012 #3
    Thanks for the suggestion, I finally got it.

    If anyone's interested:

    p → q
    ≡ ¬p ∨ p this is one of the common equivalencies given in my book by Deitel
    ≡ ¬(¬p ↓ p) this equivalency was found in a previous exercise
    ≡ ¬((p ↓ p) ↓ q) by ¬p ≡ p ↓p
    ≡ ((p ↓ p) ↓ q) ↓ ((p ↓ p) ↓ q) by ¬p ≡ p ↓p
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Logical equivalencies involving Date
I Using Logical Equivalences to Simplify a Statement Sep 5, 2016
I Logically equivalent May 2, 2016
Stumped on a logical equivalence proof Nov 19, 2014
Difficulty understanding a logical equivalence Feb 22, 2013
Testing Logical Equivalence Jan 30, 2013