Version vom 7. Oktober 2014, 20:15 Uhr

Aufgaben: Vereinfachung unter Anwendung von logischen Identitäten

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

(A \to B) \land \neg B) \to \neg A

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

(\neg A \to B) \to \neg (\neg A \to \neg B

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

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

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

(A \to C) \land ((B \lor C) \to C) \land ((C \to B) \to B)

@@ Zeile 50: / Zeile 50: @@
 :<math>
 ((\neg A \lor C ) \land (B \lor \neg C)) \rightarrow ((B \lor C) \rightarrow (A \land C)) \; \equiv \; A \lor \neg B
+</math>
+</p>
+</spoiler>
+</loop_area>
+<br />
+=== Aufgabe 4 ===
+<loop_area type="task">
+<p>
+Vereinfache den folgenden Term unter Anwendung von [[Logische Identitäten|logischen Identitäten]] soweit wie möglich:
+</p>
+:<math>
+(A \rightarrow C ) \land ((B \lor C) \rightarrow C) \land ((C \rightarrow B) \rightarrow B)
+</math>
+<spoiler text="Lösung">
+<p>
+:<math>
+(A \rightarrow C ) \land ((B \lor C) \rightarrow C) \land ((C \rightarrow B) \rightarrow B) \; \equiv \; C
 </math>
 </p>