Construct a truth table for each of the following compound statements, where p, q, r denote primitive statements.
a) ¬ (p ˅ ¬q) → ¬p
b) p → (q → r)
c) (p → q) → r
d) (p → q) → (q → p)
e) [p ˄ (p → q)] → q
f) (p ˄ q) → p
g) q ↔ (¬p ˅ ¬q)
h) [(p → q) ˄ (q → r)] → (p → r)
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.