Let be given the function f by a conjunctive form with n = 5 clauses:

f = (x1 ∨ x3 ∨ x4)(x2 ∨ x3 ∨ x4)(x2 ∨ x3 ∨ x4)(x1 ∨ x2 ∨ x3)(x1 ∨ x2 ∨ x3).

2 Will the solution change when any clauses can be used?