Description Usage Arguments Details Value Contributors Author(s) References See Also Examples
This function creates implicant matrices. An implicant matrix consists of all truth table minterms and their subsets, including the empty set.
1 | implicantMatrix(noflevels, raw = FALSE, arrange = FALSE)
|
noflevels |
The number of levels for each exogenous factor. |
raw |
Logical, return implicant matrix with indicator for elimination. |
arrange |
Logical, arrange for easier visual inspection. |
An implicant matrix consists of all minterms and their subsets, including the empty set (Dusa 2007; Dusa 2010; Dusa and Thiem 2015). The number of implicants q is given by q = ∏_{j = 1}^{k}{(p_{j} + 1)}, where p_{j} is the number of levels for factor j and k is the total number of exogenous factors.
If raw = TRUE
, the indicator for elimination (-1
) is used.
A matrix with ∏_{j = 1}^{k}{(p_{j} + 1)} rows and k columns.
Dusa, Adrian | : programming |
Thiem, Alrik | : development, documentation, testing |
Alrik Thiem (Personal Website; ResearchGate Website)
Dusa, Adrian. 2007. Enhancing Quine-McCluskey. COMPASSS: Working Paper 2007-49. URL: http://www.compasss.org/wpseries/Dusa2007b.pdf.
Dusa, Adrian. 2010. “A Mathematical Approach to the Boolean Minimization Problem.” Quality & Quantity 44 (1):99-113. DOI: 10.1007/s11135-008-9183-x.
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.
1 2 3 4 5 6 7 8 9 10 11 12 | # three exogenous factors with two levels each;
# first row is empty set
implicantMatrix(noflevels = rep(2, 3))
# two exogenous factors with three levels each
implicantMatrix(noflevels = rep(3, 2))
# arranged differently
implicantMatrix(noflevels = rep(3, 2), arrange = TRUE)
# with internal indicator for eliminated values
implicantMatrix(noflevels = rep(3, 2), raw = TRUE)
|
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.