A Visual Interactive Method for Prime Implicants Identification | IEEE Journals & Magazine | IEEE Xplore