generateTruthTab        Truth Table for a Logic Tree
minDNF                  Minimum Disjunctive Normal Form
prime.implicants        Prime Implicants
