Mathematik-Online
http://mathematik-online.org/aufgaben/A/aussagenlogik.html