minDNF: Minimum Disjunctive Normal Form

Description Usage Arguments Value Author(s) References See Also

View source: R/minDNF.R

Description

Computes the minimal disjuntive normal form for a given truth table.

Usage

1
  minDNF(mat)

Arguments

mat

a matrix containing only 0's and 1's. Each column of mat corresponds to a binary variable and each row to a combination of the variables for which the logic expression is TRUE.

Value

An object of class minDNF containing a vector comprising a minimized set of prime implicants. If more than one solution exist, then a list is returned containing all solutions.

Author(s)

Holger Schwender, holger.schwender@udo.edu

References

Schwender, H. (2007). Minimization of Boolean Expressions Using Matrix Algebra. Technical Report, SFB 475, Department of Statistics, TU Dortmund University.

See Also

prime.implicants


mcbiopi documentation built on May 19, 2017, 8:36 a.m.

Search within the mcbiopi package
Search all R packages, documentation and source code

Questions? Problems? Suggestions? Tweet to @rdrrHQ or email at ian@mutexlabs.com.

Please suggest features or report bugs in the GitHub issue tracker.

All documentation is copyright its authors; we didn't write any of that.