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

"October 1979."