Irredundant Disjunctive and Conjunctive Forms of a Boolean Function | IBM Journals & Magazine | IEEE Xplore