Answer to Question #329525 in Discrete Mathematics for Yojita

Question

Obtain the principal disjunctive and conjunctive normal forms of the following formulas.

(a) ( neg neg Q) (P rightleftharpoons neg Q)

(6) ^(P vee neg Q)

(c) P vee( neg P (Q vee( neg Q R)))

(d) (P (Q^ R))^( neg P ( )) (e) P -> (P ^ (Q -> P))

() (Q P)/ ^( neg P^ Q)

Which of the above formulas are tautologies?