IGRU
Programmierung
Programmierung
Kommutativität ?
Wenn A und B Elemente von M sind,
dann gilt:
A + B = B + A und A * B = B * A
Distributivität
Wenn A, B und C Elemente von M sind
dann gilt:
A+(B*C) = (A+B) * (A + C) und
A* (B+C) = (A*B) + (A*C)
Existenz des Komplements ?
Zu jedem A aus der Mege M existier ein Element _A (das Komplement zu A), so dass:
A * _A = 0 und
A+ _A = 1
Idempotenz
Es gilt: A + A = A sowie A * A = A
- Extremalgesetz ?
- Komplementärgesetz ?
- Absorption ?
Ableitbare Sätze
- Reduktion ?
- Assoziativ ?
- De Morgan ?
- Doppelnegation
Ableitbare Sätze
Definition Aussagenlogik ?
Die Aussagenlogik ist eine Konkretisierung der Booleschen Algebra.
- Elemente sprechen 0 und 1 Symbol f und w
- Benutzen Und oder Oder * oder + oder
-
- 1 / 7
-
Cartes-fiches
Kommutativität ?
Wenn A und B Elemente von M sind,
dann gilt:
A + B = B + A und A * B = B * A
Distributivität
Wenn A, B und C Elemente von M sind
dann gilt:
A+(B*C) = (A+B) * (A + C) und
A* (B+C) = (A*B) + (A*C)
Existenz des Komplements ?
Zu jedem A aus der Mege M existier ein Element _A (das Komplement zu A), so dass:
A * _A = 0 und
A+ _A = 1
Idempotenz
Es gilt: A + A = A sowie A * A = A
- Extremalgesetz ?
- Komplementärgesetz ?
- Absorption ?
Ableitbare Sätze
- Reduktion ?
- Assoziativ ?
- De Morgan ?
- Doppelnegation
Ableitbare Sätze
Definition Aussagenlogik ?
Die Aussagenlogik ist eine Konkretisierung der Booleschen Algebra.
- Elemente sprechen 0 und 1 Symbol f und w
- Benutzen Und oder Oder * oder + oder
