A free and open-source calculator specially designed to help you perform a wide variety of logical operation from within a user-friendly interface. #Logic calculator #Formula evaluator #Formula converter #Logic calculator #Evaluator #Converter
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).
System requirements
Logic Calculator 1.0 Beta
add to watchlist add to download basket send us an update REPORT- runs on:
- Mac OS X (-)
- file size:
- 1.1 MB
- main category:
- Math/Scientific
- developer:
- visit homepage
Context Menu Manager
Bitdefender Antivirus Free
ShareX
4k Video Downloader
Zoom Client
calibre
IrfanView
Windows Sandbox Launcher
Microsoft Teams
7-Zip
- Windows Sandbox Launcher
- Microsoft Teams
- 7-Zip
- Context Menu Manager
- Bitdefender Antivirus Free
- ShareX
- 4k Video Downloader
- Zoom Client
- calibre
- IrfanView