QCA (version 1.0-4)

solveChart: Eliminate Redundant Prime Implicants

Description

This function reduces the complete sum of prime implicants to a minimal sum by eliminating redundant prime implicants.

Usage

solveChart(chart, all.sol = FALSE)

Arguments

chart

A prime implicant chart

all.sol

Find all possible, non-overlapping, sums

Value

• A matrix containing row indices of all possible solutions

Examples

# a simple PI chart, formatted using internal function prettyTable()
PIs <- c("A", "B", "c", "D") # all prime implicants; the complete sum
FPs <- c("AbCD", "AbCd", "aBcd", "aBCD") # the fundamental products

chart <- demoChart(PIs, FPs)
prettyTable(chart)

# minimal sum: first or second PI: A + B
solveChart(chart)

# all sums: first or second PI (A + B);
# first or third or fourth PI (A + c + D)
solveChart(chart, all.sol = TRUE)