Logic Calculator

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.

If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time to spend making your management tools work. You need network monitoring tools that work for you. You want tools that makes it easy to find performance issues before your users do and resolve them before they impact the business. That’s why tens of thousands of customers around the world love WhatsUp Gold.