Ein kleiner Logikrechner, um deine aussagenlogische Formel in einer Wahrheitstabelle darzustellen. Viel Spaß