Robert Brian Cutler

Exposition of Tison's method to derive all prime implicants and all irredundant disjunctive forms for a given switching function