Detail aplikovaného výsledku

Propositional Analyzer

KOVÁR, M.; KŘEHLÍK, Š.; PIDDUBNA, G.

Originální název

Propositional Analyzer

Anglický název

Propositional Analyzer

Druh

Software

Abstrakt

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.

Abstrakt anglicky

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.

Klíčová slova

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

Klíčová slova anglicky

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

Umístění

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

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

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

www

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