Applied result detail

Propositional Analyzer

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

Original Title

Propositional Analyzer

English Title

Propositional Analyzer

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.

Abstract in English

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.

Key words in English

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

Location

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

Possibilities of use

only the provider uses the result

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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