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)]
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.