neuerlehrplan:gk:boolschealgebra
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
| neuerlehrplan:gk:boolschealgebra [2026/05/13 12:41] – [Logische Funktionen] lutz | neuerlehrplan:gk:boolschealgebra [2026/05/13 12:49] (aktuell) – [Disjunktive Normalform] lutz | ||
|---|---|---|---|
| Zeile 84: | Zeile 84: | ||
| | 1 | 0 | 0 | | | 1 | 0 | 0 | | ||
| | 1 | 1 | 1 | | | 1 | 1 | 1 | | ||
| + | |||
| + | ---- | ||
| + | |||
| + | <WRAP center round info 60%> | ||
| + | Die **Disjunktion (OR)** der Aussagen $A$ und $B$ ist genau wahr, wenn $A$ oder $B$ wahr oder beide wahr sind. | ||
| + | |||
| + | Schreibweise: | ||
| + | </ | ||
| + | |||
| + | ---- | ||
| + | |||
| + | **Beispiel: | ||
| + | |||
| + | $A:$ Heute ist es warm. | ||
| + | |||
| + | $B:$ Heute ist schönes Wetter. | ||
| + | |||
| + | $A \vee B:$ Heute ist es warm oder es ist schönes Wetter. | ||
| + | |||
| + | ---- | ||
| + | |||
| + | **Wahrheitstabelle: | ||
| + | |||
| + | ^ $A$ ^ $B$ ^ $A \vee B$ | | ||
| + | | 0 | 0 | 0 | | ||
| + | | 0 | 1 | 1 | | ||
| + | | 1 | 0 | 1 | | ||
| + | | 1 | 1 | 1 | | ||
| + | |||
| + | ---- | ||
| + | |||
| + | =====Erstellen einer Wahrheitstabelle===== | ||
| + | |||
| + | Wahrheitstabellen lassen sich auch für zusammengesetzte Aussagen erstellen, z.B. $\overline{A \wedge \overline{B}}$ | ||
| + | |||
| + | ^ $A$ ^ $B$ ^ $\overline{B}$ ^ $A \wedge \overline{B}$ ^ $\overline{A \wedge \overline{B}}$ | | ||
| + | | 0 | 0 | 1 | 0 | 1 | | ||
| + | | 0 | 1 | 0 | 0 | 1 | | ||
| + | | 1 | 0 | 1 | 1 | 0 | | ||
| + | | 1 | 1 | 0 | 0 | 1 | | ||
| + | |||
| + | |||
| + | ---- | ||
| + | |||
| + | =====Disjunktive Normalform===== | ||
| + | |||
| + | Mit Hilfe der **Disjunktiven Normalform** lässt sich aus einer Wahrheitstabelle der entsprechende logische Ausdruck rekonstruieren. Dabei wird jede Zeile der Wahrheitstabelle mit dem Ergebnis 1 als **AND**-Verknüpfung notiert. Anschließend werden diese **AND**-Verknüpfungen mit **OR** verbunden. | ||
| + | |||
| + | ---- | ||
| + | |||
| + | |||
| + | ^ $A$ ^ $B$ ^ $X$ | | | ||
| + | | 0 | 0 | 0 | ||
| + | | 0 | 1 | 1 | $\bar{A} \wedge B$ | | ||
| + | | 1 | 0 | 0 | ||
| + | | 1 | 1 | 1 | $A \wedge B$ | | ||
| + | |||
| + | |||
| + | |||
| + | $X = (\bar A \wedge B) \vee (A \wedge B)$ | ||
| + | |||
| + | |||
neuerlehrplan/gk/boolschealgebra.1778668886.txt.gz · Zuletzt geändert: von lutz
