~~NOTOC~~

====== Formale Logik ======


{{ .:zwuerf.jpg|}}((Photo by [[https://unsplash.com/@lidiiadesign|Lidiia Nemyrova]] ))


  * [[.grundlagen:start|Grundbegriffe der Aussagenlogik]]
  * [[.normalformen:start|Normalformen]]
  * [[.kv_diagramme:start|Vereinfachung von logischen Funktionen mit KV-Diagrammen]]
  * [[.uebungen:start|Übungen]]

===== Werkzeuge =====


  * https://wahrheitstabelle.daug.de