Use the substitution rules to verify that each of the following is a tautology. (Here p, q,

Question:

Use the substitution rules to verify that each of the following is a tautology. (Here p, q, and r are primitive statements.)
(a) [p ∨ (q ∧ r)] ∨ ¬[p ∨ (q ∧ r)]
(b) [(p ∨ q) → r] ↔ [¬r → ¬(p ∨ q)]
Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Question Posted: