mcbiopi: Matrix Computation Based Identification Of Prime Implicants

Share:

Computes the prime implicants or a minimal disjunctive normal form for a logic expression presented by a truth table or a logic tree. Has been particularly developed for logic expressions resulting from a logic regression analysis, i.e. logic expressions typically consisting of up to 16 literals, where the prime implicants are typically composed of a maximum of 4 or 5 literals.

Author
Holger Schwender
Date of publication
2012-01-04 06:30:46
Maintainer
Holger Schwender <holger.schw@gmx.de>
License
LGPL (>= 2)
Version
1.1.2

View on CRAN

Man pages

generateTruthTab
Truth Table for a Logic Tree
minDNF
Minimum Disjunctive Normal Form
prime.implicants
Prime Implicants

Files in this package

mcbiopi
mcbiopi/MD5
mcbiopi/R
mcbiopi/R/print.primeImp.R
mcbiopi/R/prime.implicants.R
mcbiopi/R/ia.samp.R
mcbiopi/R/getPerms.R
mcbiopi/R/generateTruthTab.R
mcbiopi/R/minDNF.R
mcbiopi/R/rm.dom.R
mcbiopi/R/getPImps.R
mcbiopi/R/minimizePI.R
mcbiopi/R/cyclic.covering.R
mcbiopi/R/print.minDNF.R
mcbiopi/man
mcbiopi/man/prime.implicants.Rd
mcbiopi/man/minDNF.Rd
mcbiopi/man/generateTruthTab.Rd
mcbiopi/DESCRIPTION
mcbiopi/NAMESPACE