Truth Tree Solver - formallogic.com
www.formallogic.com/en/truth-tree-solverTruth Tree Solver. Write a symbolic sentence in the text field below. You may add any letters with your keyboard and add special characters using the appropriate buttons. When your sentence is ready, click the "Add sentence" button to add this sentence to your set. You may add additional sentences to your set by repeating this step.
Truth Table Generator - LogicTown
www.logictown.org/truth-table-generatorTruth Table Generator Welcome to the Truth Table Generator! Here you can generate truth tables where you get to decide on the desired variables and logical operations. Explanation/Examples Buttons for Statements Type out Statements Operation Reminder: Learn more about truth tables in Lesson 3 , or check out some of the other lessons.