prime.implicants: Prime Implicants
In mcbiopi: Matrix Computation Based Identification of Prime Implicants

Description Usage Arguments Value Author(s) References See Also Examples

View source: R/prime.implicants.R

Computes the prime implicants of a given truth table.

1	prime.implicants(mat)

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.

An object of class primeImp containing a vector vec.primes comprising the prime implicants and a matrix mat.primes representing the prime implicant table.

Holger Schwender, holger.schwender@hhu.de

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

minDNF

## Not run: 
# Generate the truth table considered in Schwender (2007).

mat <- matrix(c(rep(0, 4), rep(1, 6), 
   rep(0, 6), rep(1, 4),
   0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 
   0, 1, 0, 1, 1, 1, 0, 1, 0, 1), ncol=4)
colnames(mat) <- paste("X", 1:4, sep="")

# Determining the prime implicants.

prime.implicants(mat)

## End(Not run)