Formale Logik

¹⁾

• Grundbegriffe der Aussagenlogik
• Normalformen
• Vereinfachung von logischen Funktionen mit KV-Diagrammen
• Übungen