Solve the MAXSAT-problem for the following conjunctive form:

f = (a ∨ b ∨ c)(b ∨ c)(a ∨ d)(a ∨ d)(b ∨ c)(c ∨ d)(a ∨ c).

2 Which disjunctions of the given function must be removed in order to make the equation f = 1 satisfiable?