Welcome to this e-learning tool for logic expressions!
Of course you want to find correct answers, but please also try wrong answers to see what happens! Play with the problems! Type in wrong answers and try to understand why the feedback tool replies as it does!
On top of the answer box on the right you get a quick help about the used notation for logic symbols.
The feedback tool is a prototype made by Antti Valmari. Suggestions for improvement are welcome! The tool is free for non-commercial use, but if you will use it heavily, please ask first.