Techniques for the Transformation of Logic Equations | IEEE Journals & Magazine | IEEE Xplore