Result Details

Propositional Analyzer

Created: 2012
Type
software
Language
English
Authors
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEEC)
Křehlík Štěpán, RNDr., Ph.D.
Piddubna Ganna Konstantinivna, Ph.D.
Description

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.

URL
Location

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

License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Departments
Department of Mathematics (UMAT)
Back to top