Identification of Disjunctively Decomposable Logic Functions Employing a Karnaugh Map | IEEE Journals & Magazine | IEEE Xplore