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:grundlagen:start [12.09.2024 07:07] – [Aufgaben] Frank Schiebel | faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel | ||
|---|---|---|---|
| Zeile 20: | Zeile 20: | ||
| Die Verknüpfung mit **UND ∧** nennt man **Konjunktion**\\ | Die Verknüpfung mit **UND ∧** nennt man **Konjunktion**\\ | ||
| - | Die Verknüpfung mit **ODER | + | Die Verknüpfung mit **ODER |
| </ | </ | ||
| Zeile 100: | Zeile 100: | ||
| $$(\lnot x_0 \land x_1) \land (\lnot x_2 \lor x_2)$$ | $$(\lnot x_0 \land x_1) \land (\lnot x_2 \lor x_2)$$ | ||
| + | wird. | ||
| + | ---- | ||
| + | {{: | ||
| + | === (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) $ | ||
| - | a (a 1 ) | ||
| - | (a 0) ( 1 0) 1 | ||
| - | ( a b) (a b ) | ||
| - | ( a b) (a c) (a d ) | ||
| - | a (b a b c ) | ||