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(b()) ∨ q(a()) ∨ q(y) ∨ p(z) ∨ p(f(z)) ∨ ¬p(z))

Answer

(p(c()) ∨ p(b()) ∨ q(c()) ∨ q(y) ∨ p(z) ∨ p(f(z)) ∨ ¬p(z))

Answer

(p(a()) ∨ p(b()) ∨ p(x) ∨ q(x) ∨ q(y) ∨ p(z) ∨ p(f(z)))

Answer

(p(a()) ∨ p(x) ∨ q(x) ∨ q(y) ∨ p(z) ∨ p(f(z)) ∨ ¬p(z))

Answer

(p(a()) ∨ p(b()) ∨ p(f(z)) ∨ q(f(z)) ∨ q(y) ∨ p(z) ∨ ¬p(z))

Answer

(p(a()) ∨ p(b()) ∨ p(x) ∨ q(x) ∨ q(y) ∨ p(f(z)) ∨ ¬p(f(z)))

Crowdly