Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 13:12] – [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 109: / Zeile 109: @@
 Suche in der Matrix möglichst große, regelkonforme zusammenhängende Bereiche mit "wahr"-Werten und ermittle einen möglichst einfachen logischen Ausdruck für die gegebene Funktion. Denke daran, dass die Bereiche auch "über die Ränder hinaus" gebildet werden können.
-++++ Lösungshinweis |
+++++ Lösungshinweis - Bereiche |
+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>.:*}}