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 [24.09.2024 18:31] – [Beispiel] Frank Schiebel | faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel | ||
|---|---|---|---|
| Zeile 102: | Zeile 102: | ||
| wird. | wird. | ||
| + | ---- | ||
| {{: | {{: | ||
| === (A2) === | === (A2) === | ||
| Zeile 110: | Zeile 110: | ||
| * $f = x_1\land(\lnot x_2) \lor x_1\land x_2$ | * $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) $ | * $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) + (\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) $ | + | * $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) $ |