Product detail

Propositional Analyzer

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

Product type

software

Abstract

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.

Keywords

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

Create date

11. 5. 2012

Location

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

Possibilities of use

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

Licence fee

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

www

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