Simplifiez l'expression suivante en utilisant le théorème du consensus :
(A ∧ B) ∨ (¬A ∧ C) ∨ (B ∧ C)
Les guides qui expliquent ce que cet exercice met en pratique.