Question 935859
you set up a truth table for p, q, (p v q) and p <-> (p v q)


(p v q) is true if one of them is true.
(p v q) is false if both are false.


p <-> (p v q) is true if both have the same truth value.
p <-> (p v q) is false if both do not have the same truth value.


q -> p is false if q is true and p is false.
otherwise q -> p is true.


if the truth table for p <-> (q v p) is has exactly the same truth values as the truth table for q -> p, then they are equivalent.


the truth tables are shown below:


<img src = "http://theo.x10hosting.com/2015/010203.jpg" alt="$$$" </>