Detail výsledku

Propositional Analyzer

Vznik: 2012
Typ
software
Jazyk
anglicky
Autoři
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEKT)
Křehlík Štěpán, RNDr., Ph.D.
Piddubna Ganna Konstantinivna, Ph.D.
Popis

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.

URL
Umístění

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

Licence
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
Pracoviště
Ústav matematiky (UMAT)
Nahoru