1)Consider the propositional logic formula

(p q) r

From the options below, which one is the equivalent CNF? To determine the correct answer, transform the formula above into CNF using the steps learnt in this module.

Group of answer choices

A) (p q) (p r)

B) (p q) (p r)

C) (p q r) (q p r)

D) (p q r) (q p r)

2)

Consider the propositional logic formula p (q (r s)) From the options below, which one is the equivalent CNF? To determine the correct answer, transform the formula above into CNF using the steps learnt in this module.

Group of answer choices

(p q) (p r s)

(p q) (p r s)

(p q r) (p q s)

p q r s

3)

Let p, q, and r be propositional variables. What is the resolvent of clauses C₁ and C₂? C₁ = pr C₂ = pqr

Group of answer choices

r

qr

pqr