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
AI-generated apps that pass security review Icon
AI-generated apps that pass security review

Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
Try Retool 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