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., UMAT (FEEC)
Piddubna Ganna Konstantinivna, Ph.D., UMAT (FEEC)
Křehlík Štěpán, RNDr., Ph.D., UMAT (FEEC)
Piddubna Ganna Konstantinivna, Ph.D., UMAT (FEEC)
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
Ústav matematiky
(UMAT)