Inhalt

• 1 Einleitung
• 2 Theoretischer Hintergrund
  • 2.1 Aussagenlogik
  • 2.2 Normalformen
  
  
• 3 Das Programm
  • 3.1 Bedienung
  • 3.2 Ein Beispiel
  • 3.3 Interne Funktionsweise
  
  
• A. Verwendete Software