Computes the prime implicants of a given truth table.
Usage
prime.implicants(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 primeImp containing a vector vec.primes comprising the prime implicants
and a matrix mat.primes representing the prime implicant table.
Schwender, H. (2007). Minimization of Boolean Expressions Using Matrix Algebra.
Technical Report, SFB 475, Department of Statistics, TU Dortmund University.