[gesichtete Version]

Version vom 11. Oktober 2014, 09:22 Uhr

Aufgaben: Vereinfachung mit Hilfe einer Wahrheitstafel

Aufgabe

Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:

(A\rightarrow B)\rightarrow ((B\rightarrow C)\rightarrow (A\rightarrow C))

Aufgabe

Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:

((A\land C)\rightarrow B))\land (\neg B\rightarrow A)\land ((\neg C\land \neg B)\rightarrow \neg A)

Aufgabe

Vereinfache den folgenden Term mit Hilfe einer Wahrheitstafel und scharfem Hinsehen, bzw. einem KV-Diagramm:

(A\rightarrow B)\land (\neg A\rightarrow (B\lor C))\land (A\rightarrow (\neg B\lor \neg C))\land (\neg C\rightarrow (\neg B\lor \neg A))

@@ Zeile 32: / Zeile 32: @@
 :<math>
 ((A \land C) \rightarrow B)) \land (\neg B \rightarrow A) \land ((\neg C \land \neg B) \rightarrow \neg A) \; \equiv \; B
+</math>
+</p>
+</spoiler>
+</loop_area>
+<br />
+=== Aufgabe 3 ===
+<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 \rightarrow B) \land (\neg A \rightarrow (B \lor C)) \land (A \rightarrow (\neg B \lor \neg C)) \land (\neg C \rightarrow (\neg B \lor \neg A))
+</math>
+<spoiler text="Lösung">
+<p>
+:<math>
+(A \rightarrow B) \land (\neg A \rightarrow (B \lor C)) \land (A \rightarrow (\neg B \lor \neg C)) \land (\neg C \rightarrow (\neg B \lor \neg A)) \; \equiv \; \neg J \land (B \lor C)
 </math>
 </p>