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).

3 Can this problem be solved by minimization?