Aussagenlogik:
  
mathematik.net

Kurs über Aussagenlogik bei www.mathematik.net
www.mathematik.net

  
TFH-Berlin
Man muß auf Boolsche Algebra drücken, um zum Stoff zu gelangen.
www.demorgan.de
  
Uni-Wien
Logikrechner der Uni-Wien:
http://logik.phl.univie.ac.at/d/index.html