software

Propositional Analyzer can decide whether a formula of the proposional calculus is a tautological consequence of a set of formulae, used as the assumptions. It also calculates the disjunctive and conjunctive normal forms of the given formula and then minimalize them by the Quine-McCluskey algorithm. The tool can be also helpful in programming and in analysis or construction of various logical circuits.

Proposional calculus, tautological consequence, normal conjunctive and disjunctive form, Quine-McCluskey algorithm.

11. 5. 2012

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp