Documentation

Find a new prime implicant or implicate.

Let f be a monotone boolean function over set of variables S. Let ∧_{I∈C} ∨_{i∈I} x_i and ∨_{I∈D} ∧_{i∈I} x_i be the irredundant CNF representation f and DNF representation of f respectively.

Given a subset C' ⊆ C and D' ⊆ D, findPrimeImplicateOrPrimeImplicant S f C' D' returns

• Just (Left I) where I ∈ C \ C',
• Just (Right I) where J ∈ D \ D', or
• Nothing if C'=C and D'=D.

Compute the irredundant CNF representation and DNF representation.

Let f be a monotone boolean function over set of variables S. This function returns C and D where ∧_{I∈C} ∨_{i∈I} x_i and ∨_{I∈D} ∧_{i∈I} x_i are the irredundant CNF representation f and DNF representation of f respectively.