Title: Exposition of Tison's method to derive all prime implicants and all irredundant disjunctive forms for a given switching function
Subjects: Maxima and minima, Switching theory