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.

Features

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

Project Samples

Logic Calculator main window Examples of the Logic Calculator output and debug boxes Rank values for processing a logic formula (top). Process only one interpretation (bottom) UML class diagram of the Logic Calculator describing the main classes with their main attributes and methods

Project Activity

See All Activity >

Categories

Mathematics, Calculators

License

Apache License V2.0

Follow Logic Calculator

Logic Calculator Web Site

Other Useful Business Software
Easily Host LLMs and Web Apps on Cloud Run Icon
Easily Host LLMs and Web Apps on Cloud Run

Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.

Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
Try Cloud Run Free
Rate This Project
Login To Rate This Project

User Ratings

4.7 out of 5 stars
★★★★★
★★★★
★★★
★★
★
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

User Reviews

Filter Reviews:
All
  • edario Posted 2016-05-05
    Cool tool! But throws a java.util.EmptyStackException on double negation, i.e. ¬¬
    1 user found this review helpful.
  • a_cevik Posted 2016-01-02
    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)
  • codeguru Posted 2014-03-20
    Very nice tool for learning propositional logic.
    2 users found this review helpful.
Read more reviews >

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Mathematics Software, Java Calculators

Registered

2013-09-27
Report inappropriate content