A Mechanized Chart for Simplification of Switching Functions | IEEE Journals & Magazine | IEEE Xplore