QCApro (version 1.1-1)

mintermMatrix: Create Minterm Matrices

Description

This function creates minterm and implicant matrices. It is mainly used for internal and demonstration purposes.

Usage

mintermMatrix(noflevels, logical = FALSE)

Arguments

noflevels

The number of levels for each exogenous factor.

logical

Logical, return the matrix in logical values (only bivalent data).

Contributors

Dusa, Adrian

: development, programming

Details

Minterm matrices contain all unique and complete conjunctions that can be formed from all levels of $k$ factors (Dusa and Thiem 2015). The total number of minterms $d$ is given by $d = \prod_{j = 1}^{k}{p_{j}}$, where $p_{j}$ is the number of levels for exogenous factor $j$ and $k$ is the total number of exogenous factors. A minterm matrix is an essential part of a truth table.

References

Dusa, Adrian, and Alrik Thiem. 2015. “Enhancing the Minimization of Boolean and Multivalue Output Functions with eQMC.” Journal of Mathematical Sociology 39 (2):92-108. DOI: 10.1080/0022250X.2014.897949.

See Also

implicantMatrix, truthTable

Examples

# a minterm matrix with three bivalent exogenous factors
noflevels <- rep(2, 3)
mintermMatrix(noflevels)

# with logical values
mintermMatrix(noflevels, logical = TRUE)