This PR will ensure proper functioning of to_cnf and to_cnf with simplification, add an option to simplify_logic for required form, and rename bool_equal, and rename the 'simplify' parameter to 'deep'. Will send the final commit in a day or two.