Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:26] – Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel
@@ Zeile 102: / Zeile 102: @@
 wird.
+----
 {{:aufgabe.png?nolink  |}}
 === (A2) ===
@@ Zeile 108: / Zeile 108: @@
 Vereinfache die folgenden logischen Terme:
-$f = x1\land(\lnot x2) \lor x1\land x2$
+  * $f = x_1\land(\lnot x_2) \lor x_1\land x_2$
-g = x1·(¬x2)·x3 + x1·(¬x2)·(¬x3) + (¬x1)·(¬x2)·(¬x3)
+  * $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 = (¬x1)·(¬x2)·(¬x3) + (¬x1)·(¬x2)·x3 + (¬x1)·x2·x3 + 	x1·(¬x2)·(¬x3) + x1·x2·x3 + x1·x2·(¬x3)
+  * $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) $