Vereinfachen Sie den folgenden Ausdruck mithilfe des Konsensus-Theorems:
(A ∧ B) ∨ (¬A ∧ C) ∨ (B ∧ C)
Die Leitfäden, die erklären, was diese Übung anwendet.