LogicCalculus

LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently, it can evaluate expressions and fill a truth table.

It still does NOT contain any logic to handle predicate logic, but it is a planned feature.

Screenshots

Downloads

Version 1.1.1:

Version 1.1:

Version 1.0:

Source Code


SourceForge.net Logo