Recursive Operators for Prime Implicant and Irredundant Normal Form Determination | IEEE Journals & Magazine | IEEE Xplore