I tried to simplify the formula ,but i am not sure if it is correct or not. If it is not correct how can i simplify the below formula?
((p ∨ r) ∧ (q ∨ r) ∧ (p ∨ s) ∧ (q ∨ s))
I thought that, if i combine RHS and LHS
RHS = (p ∨ r) ∧ (q ∨ r) LHS = (p ∨ s) ∧ (q ∨ s)
RHS = (p∧q)vr
LHS = (p∧q)vs
RHS ∧ LHS = ((p∧q)vr)∧(p∧q)vs))
= (p∧q)v(r∧s)
is this correct simplify? Other question is, Is my solution equivalent formula in CNF?