# the chart we're trying to further reduce
chart <- demoChart(c("A", "B", "c"), c("ABC", "Abc", "AbC", "aBc"))
prettyTable(chart)
solveChart(chart)
## two minimum solutions: first and second or first and third prime implicants
Run the code above in your browser using DataLab