| 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 |