Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 13:17] – [Beispiel 3: Vier Variablen] Frank Schiebel
+++ faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 13:25] (aktuell) – [Beispiel 3: Vier Variablen] Frank Schiebel
@@ Zeile 110: / Zeile 110: @@
-++++ Lösung |
+++++ Lösungshinweis - Bereiche |
-{{ :faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:kv11.png |}
+Denkbare Bereiche sehen so aus:
+{{ :faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:kv11.png |}}
 ++++
+++++ Lösungshinweis - Logische Ausdrücke |
+  * Grün: $\lnot x_3 \land x_4 \land x_2$
+  * Blau: $x_1 \land \lnot x_3$
+  * 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>.:*}}