Question

Use the truth table to transform each of the following wffs into the full conjunctive normal form

(P→Q)→P. P→(Q→P)

(P∨Q)∧R. P→Q∧R. Q∧¬P→P

Answer 1

a. (P→Q)→P = P

b. P→(Q→P) = 1

c. (P∨Q)∧R

d. P→Q∧R = (Q ∧ R) ∨ ¬P

e. Q∧¬P→P = P ∨ ¬Q