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

Project Samples

Project Activity

See All Activity >

Categories

Education, Exam

License

GNU General Public License version 3.0 (GPLv3)

Follow Logicheck

Logicheck Web Site

Other Useful Business Software
Try Google Cloud Risk-Free With $300 in Credit Icon
Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Logicheck!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Education

User Interface

Qt

Programming Language

Python

Related Categories

Python Education Software, Python Exam Software

Registered

2016-12-07