logicheck

We have hosted the application logicheck in order to run this application in our online workstations with Wine or directly.

Quick description about logicheck:

This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument.

Features:

• Create logic expressions
• View truth tables for any expression
• Test the validity of deductive arguments

Audience: Education.
User interface: Qt.
Programming Language: Python.
Categories: