Logikrechner

http://logik.phl.univie.ac.at/~chris/gateway/formular-zentral.html

Wahrheitstabellen und logische Diagramme, Begriffschriftnotation, Normalformen (KNF, KKNF, DNF, KDNF), Optimierung nach Quine-McCluskey und eigenen Verfahren