Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicants | IEEE Journals & Magazine | IEEE Xplore