## Predacate Calculus help

(ii) (~ P « Q) in terms of only ( not and)

(b) Obtain Principal Disjunctive Normal and Principal Conjunctive Normal Form for the formula:
(P ® Q) « (R Ù S)

where P, Q, R and S logical (Boolean) Variables.

(c) Determine the validity of the conclusion S ® P from the following three premises:
~ P v Q , ~ (Q ÙP v ~ R) and ~ (R Ù~ S) Ù(R v ~ S)