A Mechanized Chart for Simplification of Switching Functions