Answer to Question #211828 in Discrete Mathematics for Jaguar

Question

Question 15

Let p, q and r be simple declarative statements. Which alternative provides the truth values for 

the biconditional ‘’ of the compound statement provided in the given table?

Hint: Determine the truth values of p → r, q ∨ r, (p → r)  (q ∨ r), q → p, ¬(q → p) and

¬(q → p)  r in separate columns before determining the truth values of

[(p → r)  (q ∨ r)]  [¬(q → p)  r].

p q r [(p → r)  (q ∨ r)]  [¬(q → p)  r]

T T T

T T F

T F T

T F F

F T T

F T F

F F T

F F F

1. 

  T F

 T T F

 F T F

  T F

 T T F

 F F T



F

T

F

T

T

F

F

T

2.

3.

4.