0:00
ExpertoEquivalencia LógicaSimplificación

Simplifica usando el teorema del consenso:

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

El teorema del consenso establece que en (XY + ¬XZ + YZ), el término YZ es redundante.