• 

  Logikrechner

  http://www.erpelstolz.at/gateway/formular-zentral.html

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

• 

  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

• 

  Logikrechner

  https://logik.phl.univie.ac.at/~chris/cgi-bin/cgi-form?type=zd&data=111%0D%0A011%0D%0A010%0D%0A001%0D%0A000&task=Quine

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

---

---