Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [12.09.2024 07:47] – [Grundlagen der Aussagenlogik] 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) ===
+Vereinfache die folgenden logischen Terme:
-===== Aufgaben =====
+  * $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) $