[gesichtete Version] | [gesichtete Version] |
Zeile 14: | Zeile 14: | ||
:<math> | :<math> | ||
(A \rightarrow B) \rightarrow ((B \rightarrow C) \rightarrow (A \rightarrow C)) \; \equiv \; 1 | (A \rightarrow B) \rightarrow ((B \rightarrow C) \rightarrow (A \rightarrow C)) \; \equiv \; 1 | ||
</math> | |||
</p> | |||
</spoiler> | |||
</loop_area> | |||
<br /> | |||
=== Aufgabe 2 === | |||
<loop_area type="task"> | |||
<p> | |||
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und [[Die einfachste Gestalt durch scharfes Hinsehen ermitteln|scharfem Hinsehen]], bzw. einem [[Die einfachste Gestalt durch ein KV-Diagramm ermitteln|KV-Diagramm]]: | |||
</p> | |||
:<math> | |||
((A \land C) \rightarrow B)) \land (\neg B \rightarrow A) \land ((\neg C \land \neg B) \rightarrow \neg A) | |||
</math> | |||
<spoiler text="Lösung"> | |||
<p> | |||
:<math> | |||
((A \land C) \rightarrow B)) \land (\neg B \rightarrow A) \land ((\neg C \land \neg B) \rightarrow \neg A) \; \equiv \; B | |||
</math> | </math> | ||
</p> | </p> |
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm: