Logic Calculator Icon

Logic Calculator


A Calculator to perform logical operations

4.7 Stars (3)
7 Downloads (This Week)
Last Update:
Download LogicCalculator.jar
Browse All Files
Windows Mac Linux



The Logic Calculator is an application useful to perform logical operations. It has three
(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.

Logic Calculator Web Site




Apache License V2.0


  • Ready-to-use
  • Multiplatform
  • Text-based input/output


Other Useful Business Software

Find out what (or who) is slowing down your network Icon

Get comprehensive network bandwidth analysis and performance monitoring with SolarWinds® Bandwidth Analyzer Pack.

Find out what (or who) is slowing down your network Icon
Network slow, but you don't know the cause? Use Bandwidth Analyzer Pack (BAP) to monitor and analyze network bandwidth performance and traffic patterns. With BAP, you can identify which users, applications, and protocols are consuming the most bandwidth. You can also monitor Wireless LAN Controller traffic to see what applications and clients are using your wireless network. Try it free for 30 days!

User Ratings

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
Read more reviews

Additional Project Details

Intended Audience

Science/Research, Education

User Interface

Java Swing

Programming Language




Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks