Detail produktu

Propositional Analyzer

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

Typ produktu

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.

Klíčová slova

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

Datum vzniku

11. 5. 2012

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www