Forenkle følgende uttrykk ved å bruke konsensusteoremet:
(A ∧ B) ∨ (¬A ∧ C) ∨ (B ∧ C)
Guidene som forklarer det du øver på her.