Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung Nächste Überarbeitung | Vorherige Überarbeitung | ||
faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start [27.09.2024 12:46] – [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 90: | Zeile 90: | ||
Bei logischen Funktionen mit 4 Eingangsvariablen geht man genauso vor, wie bei solchen mit 3 Variablen - jetzt stehen auf beiden Achsen jeweils die Kombination zweier Variablen. Dabei ist auch die Regel zu beachten, dass man jeweils nur ein Bit zwischen den benachbarten Kombinationen verändern darf. | Bei logischen Funktionen mit 4 Eingangsvariablen geht man genauso vor, wie bei solchen mit 3 Variablen - jetzt stehen auf beiden Achsen jeweils die Kombination zweier Variablen. Dabei ist auch die Regel zu beachten, dass man jeweils nur ein Bit zwischen den benachbarten Kombinationen verändern darf. | ||
+ | {{ : | ||
+ | ---- | ||
+ | {{: | ||
+ | === (A1) === | ||
+ | Lies die Funktionswerte für die Eingabewerte 1010, 1110 und 0101 aus der Matrix ab. | ||
+ | ++++ Lösung | | ||
+ | {{ : | ||
+ | ++++ | ||
+ | ---- | ||
+ | {{: | ||
+ | === (A2) === | ||
+ | Suche in der Matrix möglichst große, regelkonforme zusammenhängende Bereiche mit " | ||
+ | |||
+ | |||
+ | ++++ Lösungshinweis - Bereiche | | ||
+ | Denkbare Bereiche sehen so aus: | ||
+ | |||
+ | {{ : | ||
+ | |||
+ | ++++ | ||
+ | |||
+ | ++++ 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> | {{simplefilelist> |