Упростите, используя теорему консенсуса:

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

Теорема консенсуса утверждает, что в выражении (XY + ¬XZ + YZ) терм YZ является избыточным.