• Übungsaufgaben
  27 bis 29 (pdf)
  30 bis 32 (pdf)
• Manuskript: Logik und Schaltalgebra (pdf)

Das nächste Kapitel: Algebraische Strukturen 
 

Logische Ausdrücke werden wie folgt induktiv definiert: 

1. F, W, p sind logische Ausdrücke (F, W sind Konstanten, p ist Variable).
2. Sind H, H' und H'' logische Ausdrücke, so sind auch ¬H, (H' or H''), (H' and  H''), (H' -> H'') und (H' <-> H'') logische Ausdrücke.
3. Andere Zeichenketten sind keine logischen Ausdrücke.

Aus dem Inhalt: 

• Logische Operatoren
• Logische Äquivalenz
• Normalformen
• Boolesche Funktionen
• Verzweigungsfreie Schaltungen
• Fundamentalsatz der Schaltalgebra