Logic Calculator For Mac

Logic Calculator is a self-explanatory OS X application that provides the necessary tools and features to perform various logical operations.

From Logic Calculator's main window you will be able to access three different modes, the Evaluation of the logic formula, Logical entailment and Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF).

In the first mode you can easily use the basic boolean operations such as negation, disjunction, conjunction, biconditional, conditional and insert them in the logic formula. Logic Calculator will output the truth table and the models of the formula.

The second mode helps you insert a number of premises along with the conclusions for which the Logic Calculator will display the truth table for each conclusion and premise. Thus, you will be able to view if the premises logically entail the provided conclusions.

The third mode enables the user to enter the logic formula and generate its representation in both CNF and DNF.

The Logic Calculator utility is a cross-platform software that can be used on any platform that features Java compatibility (e.g. Mac OS X, Linux, Windows).