Logicheck

This program is useful for testing Boolean logic or propositional logic. It determines with logical expressions with symbols like "AND" and "OR" graphical user interface. A table can then be created for each such set of expressions. Which can also be used to test the validity of deductive arguments - the program will advise whether the argument is valid, and if not, there is a list of examples contradicting the argument.