(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

For statements P, Q, and R, use a truth table to show that each of the following pairs of statements are logically equivalent.

a) (P^Q) <=> P and P=>Q

b) P=>(Q v R) and (~Q)=>(~P v R)

3. The attempt at a solution

See attached truth tables.

Basically, I have no idea how to correlate P and QvR in the table. If P is false or QvR is true, then the implication is true; I know that. I know P can only have 2 values, true or false, but QvR is only false under one condition. So, is P true or false in that slot? I can't figure out how to make the table, though.

With the second table in b, I know how Q and not Q (~Q) relate, but cant see how to relate ~Q with (~PvR). If ~Q is false or (~PvR) is true, the implication is true. Again, I know how the implication works. It's this truth table that is making this problem vastly more difficult than it needs to be. Any help on filling them out is greatly appreciated.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Truth tables and implications

**Physics Forums | Science Articles, Homework Help, Discussion**