mintermMatrix {QCApro}

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).

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.

Contributors

Dusa, Adrian	: development, programming
Thiem, Alrik	: development, documentation, testing

Author(s)

Alrik Thiem (Personal Website; ResearchGate Website)

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)