====== Aussagenlogik ======

  * [[theory:logic:conjunction|Junktoren]]\\ 
  * [[theory:logic:terms|Aussagenlogische Ausdrücke]]\\ 
  * [[theory:logic:truthtable|Wahrheitstabelle]]\\ 
  * [[theory:logic:fromtext|Erstellung aus einem Text]]\\ 
  * [[theory:logic:rules|Aussagenlogische Gesetze]]\\ 
  * [[theory:logic:normalforms|Normalformen]]\\