Wolfram Demonstrations Projecthttp://demonstrations.wolfram.com/An Open Resource of Interactive Mathematica VisualizationsCopyright 2009 Wolfram Demonstrations Project & ContributorsPropositional Logic Testhttp://demonstrations.wolfram.com/PropositionalLogicTest/]]>http://demonstrations.wolfram.com/PropositionalLogicTest/Kleene's Three-Valued Logichttp://demonstrations.wolfram.com/KleenesThreeValuedLogic/]]>http://demonstrations.wolfram.com/KleenesThreeValuedLogic/