evalTree | Truth Table for a Logic Tree |
generateTruthTab | Truth Table for a Logic Tree |
getPImps | Truth Table for a Logic Tree |
minDNF | Minimum Disjunctive Normal Form |
prime.implicants | Prime Implicants |
print.minDNF | Minimum Disjunctive Normal Form |
print.primeImp | Prime Implicants |