Wiki zum Unterricht

Benutzer-Werkzeuge

Webseiten-Werkzeuge

Zuletzt angesehen:
neuerlehrplan:gk:boolschealgebra

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
Nächste Überarbeitung		Vorhergehende Überarbeitung
neuerlehrplan:gk:boolschealgebra [2026/05/13 12:37] – [Logische Funktionen] lutzneuerlehrplan:gk:boolschealgebra [2026/05/13 12:49] (aktuell) – [Disjunktive Normalform] lutz
Zeile 30: Zeile 30:
  
 Über diese Variablen/Aussagen kann man nun logische Funktionen definieren. In der Mathematik würde man von der Verknüpfung von Aussagen sprechen. Über diese Variablen/Aussagen kann man nun logische Funktionen definieren. In der Mathematik würde man von der Verknüpfung von Aussagen sprechen.
- 
  
 ---- ----
Zeile 46: Zeile 45:
  
 $\overline A:$ Informatik ist nicht cool. $\overline A:$ Informatik ist nicht cool.
 +
 +
 +----
 +
 +*
 +**Wahrheitstabelle:**
 +
 +^ $A$ ^ $\overline{A}$ |
 +| 0   | 1              |
 +| 1   | 0              |
  
  
Zeile 56: Zeile 65:
 Schreibweise: $A \wedge B$  Schreibweise: $A \wedge B$ 
 </WRAP> </WRAP>
 +
 +**Beispiel:**
 +
 +$A:$ Heute ist es warm.
 +
 +$B:$ Heute ist schönes Wetter.
 +
 +$A \wedge B:$  Heute ist es warm und es ist schönes Wetter.
 +
 +----
 +
 +
 +**Wahrheitstabelle:**
 +
 +^ $A$ ^ $B$ ^ $A \wedge B$ |
 +| 0   | 0   | 0            |
 +| 0   | 1   | 0            |
 +| 1   | 0   | 0            |
 +| 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: $A \vee B$ 
 +</WRAP>
 +
 +----
 +
 +**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.1778668628.txt.gz · Zuletzt geändert: von lutz