# Logic Calculator

beta

## A Calculator to perform logical operations

4.7 Stars (3)
Last Update:
Browse All Files
Windows Mac Linux

## Description

The Logic Calculator is an application useful to perform logical operations. It has three
modes:
(1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the
logic formula and the Logic Calculator displays the truth table along with the
models of the formula.
(2) Logical entailment: In this mode the user can insert a number of
premises followed by a number of conclusions, so the Logic Calculator displays
the truth table of each premise / conclusion and the result of whether or not
these premises logically entail the given conclusions.
(3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic
Calculator outputs its representation in both a DNF and CNF.

Mathematics

## Features

• Multiplatform
• Text-based input/output

### KEEP ME UPDATED

1 of 5 2 of 5 3 of 5 4 of 5 5 of 5
61 Reviews
• Unlimited Calling, Faxing, Video Conferencing
• 24/7 U.S. Based Customer Support
• Super Reliable, Simple to Use

## User Ratings

★★★★★
★★★★
★★★
★★
2
1
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
Write a Review

## User Reviews

• 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

Cool tool! But throws a java.util.EmptyStackException on double negation, i.e. ¬¬

Posted 05/05/2016
• 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

Getting an endless loop when calculating DNF for following: (¬ T v X ^ ¬Y) ^ (¬ S v ¬ T v X v Y) ^ (S v ¬Y) ^ (T v Y ^ ¬X)

Posted 01/02/2016
• 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

Very nice tool for learning propositional logic.

Posted 03/20/2014

### Intended Audience

Science/Research, Education

Java Swing

Java

2013-09-27

## Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
(This may not be possible with some types of ads)

X

Briefly describe the problem (required):