Skip to content

A simple propositional calculus program to calculate truth tables from logical expressions and analyze logical arguments.

License

Notifications You must be signed in to change notification settings

aimfeld/LogicAnalyzer

Repository files navigation

LogicAnalyzer

A simple propositional calculus program to calculate truth tables from logical expressions and analyze logical arguments.

This program was developed in 2004 and is not actively maintained.

Run LogicAnalyzer

  • Install the latest Java Platform.
  • Download LogicAnalyzer and double-click on LogicAnalyzer.jar (or right click and open with Java(TM) Platform SE binary).

Developer requirements

Project Website

User Interface

User interface

About

A simple propositional calculus program to calculate truth tables from logical expressions and analyze logical arguments.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages