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 [22.04.2024 12:58] – [Beispiel] Marco Kuemmel | faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start [24.09.2024 18:33] (aktuell) – [Beispiel] Frank Schiebel | ||
---|---|---|---|
Zeile 16: | Zeile 16: | ||
* NOT: ¬ | * NOT: ¬ | ||
* Beim Rechnen gelten - ähnlich wie die Punkt vor Strich Regeln: **" | * Beim Rechnen gelten - ähnlich wie die Punkt vor Strich Regeln: **" | ||
+ | |||
+ | <callout type=" | ||
+ | |||
+ | Die Verknüpfung mit **UND ∧** nennt man **Konjunktion**\\ | ||
+ | Die Verknüpfung mit **ODER ∨** nennt man **Disjunktion**\\ | ||
+ | |||
+ | </ | ||
===== " | ===== " | ||
Zeile 93: | 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) === | ||
- | ===== Aufgaben ===== | + | Vereinfache die folgenden logischen Terme: |
+ | |||
+ | * $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) $ | ||
+ |