Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [12.09.2024 07:02] – [Grundlagen der Aussagenlogik] Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel
@@ Zeile 19: / Zeile 19: @@
 <callout type="danger">
+Die Verknüpfung mit **UND ∧** nennt man **Konjunktion**\\
+Die Verknüpfung mit **ODER ∨** nennt man **Disjunktion**\\
 </callout>
@@ Zeile 98: / Zeile 100: @@
 $$(\lnot x_0 \land x_1) \land (\lnot x_2 \lor x_2)$$
+wird.
+----
+{{:aufgabe.png?nolink  |}}
+=== (A2) ===
-===== Aufgaben =====
+Vereinfache die folgenden logischen Terme:
+  * $f = x_1\land(\lnot x_2) \lor x_1\land x_2$
+  * $g = x_1\land (\lnot x_2)\land x_3 \lor x_1\land(\lnot x_2)\land(\lnot x_3) \lor (\lnot x_1)\land (\lnot x_2)\land (\lnot x_3) $
+  * $h = (\lnot x_1)\land (\lnot x_2)\land(\lnot x_3) \lor (\lnot x_1)\land(\lnot x_2)\land x_3 \lor (\lnot x_1)\land x_2\land x_3 \lor x_1\land (\lnot x_2)\land (\lnot x_3) \lor  x_1\land x_2 \land x_3 \lor x_1 \land x_2\land ( \lnot x_3) $