| [gesichtete Version] | [gesichtete Version] |
| Zeile 5: | Zeile 5: | ||
<p> | <p> | ||
<loop_area type="task"> | <loop_area type="task"> | ||
<loop_task title="Vereinfache mit | <loop_task title="Vereinfache mit Wahrheitstafel!"> | ||
<p> | <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]] so weit wie möglich! | 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]] so weit wie möglich! | ||
</p> | </p> | ||
<p> | |||
:<math> | :<math> | ||
(A \rightarrow B) \rightarrow ((B \rightarrow C) \rightarrow (A \rightarrow C)) | (A \rightarrow B) \rightarrow ((B \rightarrow C) \rightarrow (A \rightarrow C)) | ||
</math> | </math> | ||
</p> | |||
<p> | |||
<spoiler text="Lösung"> | <spoiler text="Lösung"> | ||
<p> | <p> | ||
| Zeile 28: | Zeile 31: | ||
<p> | <p> | ||
<loop_area type="task"> | <loop_area type="task"> | ||
<loop_task title="Vereinfache mit | <loop_task title="Vereinfache mit Wahrheitstafel!"> | ||
<p> | <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]] so weit wie möglich: | 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]] so weit wie möglich: | ||
</p> | </p> | ||
<p> | |||
:<math> | :<math> | ||
((A \land C) \rightarrow B)) \land (\neg B \rightarrow A) \land ((\neg C \land \neg B) \rightarrow \neg A) | ((A \land C) \rightarrow B)) \land (\neg B \rightarrow A) \land ((\neg C \land \neg B) \rightarrow \neg A) | ||
</math> | </math> | ||
</p> | |||
<p> | |||
<spoiler text="Lösung"> | <spoiler text="Lösung"> | ||
<p> | <p> | ||
| Zeile 51: | Zeile 57: | ||
<p> | <p> | ||
<loop_area type="task"> | <loop_area type="task"> | ||
<loop_task title="Vereinfache mit | <loop_task title="Vereinfache mit Wahrheitstafel!"> | ||
<p> | <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]] so weit wie möglich: | 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]] so weit wie möglich: | ||
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm so weit wie möglich!
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm so weit wie möglich:
Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm so weit wie möglich:
Weitere aussagenlogische Terme, die du auch mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm vereinfachen kannst, findest du im Abschnitt
Aufgaben: Vereinfachung unter Anwendung von logischen Identitäten