Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:
Lösung ( A → B ) → ( ( B → C ) → ( A → C ) ) ≡ 1 {\displaystyle (A\rightarrow B)\rightarrow ((B\rightarrow C)\rightarrow (A\rightarrow C))\;\equiv \;1}
Lösung ( ( A ∧ C ) → B ) ) ∧ ( ¬ B → A ) ∧ ( ( ¬ C ∧ ¬ B ) → ¬ A ) ≡ B {\displaystyle ((A\land C)\rightarrow B))\land (\neg B\rightarrow A)\land ((\neg C\land \neg B)\rightarrow \neg A)\;\equiv \;B}