Question

The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______. 

पर्याय

• r

• q

• p ∧ q

• p

Answer 1

The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to q.

Explanation:

We have, (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q)

≡ (p ∧ q) v (~ p ∧ q)

≡ (p v ~ p) ∧ q

≡ T ∧ q = q