Minimera följande uttryck med 4 variabler:

(A ∧ B ∧ C ∧ D) ∨ (A ∧ B ∧ C ∧ ¬D) ∨ (A ∧ B ∧ ¬C ∧ D) ∨ (A ∧ B ∧ ¬C ∧ ¬D)