Propositional Analyzer

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F12%3APR26430" target="_blank" >RIV/00216305:26220/12:PR26430 - isvavai.cz</a>
Result on the web
<a href="http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp" target="_blank" >http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Propositional Analyzer
Original language 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.
Czech name
—
Czech description
—

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID
PAnalyzer
Technical parameters
Software je spouštěn ze serveru UMAT FEKT VUT v Brně prostřednictvím internetového prohlížeče. Na klientském PC je nutné mít nainstalovánu Javu. Podmínkou spuštění softwaru je přístup k serveru UMAT FEKT VUT prostřednictvím WWW - ten není omezován, takžesoftware může využívat libovolná vědecká nebo výzkumná instituce. Pro vědecké a výzkumné účely lze software využívat zdarma. V ostatních případech kontaktujte RNDr. M. Nováka, Ph.D., Vysoké učení technické v Brně, UMAT FEKT, Technická 8, 616 00 Brno, email: novakm@feec.vutbr.cz, tel.: 541143135.
Economical parameters
Ekonomické parametry (zvýšení zisku, objemu výroby apod.) prozatím nejsou známy. Jedná se o software využitelný v různých projektech aplikovaném výzkumu.
Owner IČO
00216305
Owner name
Ústav matematiky

Similar results(10)