[gesichtete Version] | [gesichtete Version] |
(LOOP2 Upgrade) |
|||
(Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
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!" id="5fa958f1995cd"> | ||
<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!" id="5fa958f1995d6"> | ||
<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!" id="5fa958f1995dc"> | ||
<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