An Intersection Algorithm Giving All Irredundant Normal Forms from a Prime Implicant List | IEEE Journals & Magazine | IEEE Xplore