Given the set of clauses
(p(a) ∨ p(b) ∨ p(X) ∨ q(X) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)) ∨ ¬p(Z))
Which clauses can be derived by factorization?

Question

Given the set of clauses  
 (p(a) ∨ p(b) ∨ p(X) ∨ q(X) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)) ∨ ¬p(Z)) 
 Which clauses can be derived by factorization?

Answer

(p(a) ∨ p(X) ∨ q(X) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)) ∨ ¬p(Z))

Answer

(p(a) ∨ p(b) ∨ q(f(Z)) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)) ∨ ¬p(Z))

Answer

(p(a) ∨ p(b) ∨ p(a) ∨ q(a) ∨ q(Y) ∨ p(Z) ∨ p(f(b)) ∨ ¬p(b))

Answer

(p(a) ∨ p(b) ∨ p(X) ∨ q(X) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)))

Answer

(p(a) ∨ p(b) ∨ q(a) ∨ q(Y) ∨ p(Z) ∨ p(f(Z)) ∨ ¬p(Z))

Answer

(p(a) ∨ p(b) ∨ p(X) ∨ q(X) ∨ q(Y) ∨ p(f(Z)) ∨ ¬p(f(Z)))

Crowdly