Analytical transformations in minimizing logical functions | IEEE Conference Publication | IEEE Xplore