Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 13:22] – Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 13:25] (aktuell) – [Beispiel 3: Vier Variablen] Frank Schiebel
@@ Zeile 121: / Zeile 121: @@
   * Grün: $\lnot x_3 \land x_4 \land x_2$
   * Blau: $x_1 \land \lnot x_3$
-  * Orange:
+  * Orange: $\lnot x_1 \land x_3 \land \lnot x_4$
 ++++
+++++ Lösungsvorschlag |
+$f=(\lnot x_3 \land x_4 \land x_2) \lor (x_1 \land \lnot x_3) \lor (\lnot x_1 \land x_3 \land \lnot x_4)$
+++++
 ----
 {{simplefilelist>.:*}}