(A ∧ B ∧ C → A ∧ C)(~A ∨ ~B ∨ ~C ∨ A ∧ C)((~A ∨ A) ∧ (~B ∨ A ∧ C) ∧ (~C ∨ A ∧ C))(True ∧ (~B ∨ A ∧ C) ∧ (~C ∨ A ∧ C))(~B ∨ A ∧ C) ∧ (~C ∨ A ∧ C)((~B ∨ A) ∧ (~B ∨ C)) ∧ ((~C ∨ A) ∧ (~C ∨ C))((~B ∨ A) ∧ (~B ∨ C)) ∧ (~C ∨ A)(~B ∨ (A ∧ C)) ∧ (~C ∨ A)True ∧ (~C ∨ A)~C ∨ AA ∨ ~CTrue

Таким образом, данное выражение упрощается до единицы.