minDNF {logicFS}R Documentation

Minimum Disjunctive Normal Form

Description

Computes the prime implicants or the minimal disjuntive form, respectively, of a given truth table.

Usage

  prime.implicants(mat)
  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

Either an object of class minDNF or of class primeImp. Both contain a vector of (a minimum number of) prime implicants. The primeImp additionally contains the prime implicant table.

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, University of Dortmund.

See Also

logic.pimp


[Package logicFS version 1.10.0 Index]