Polishing off simplify_logic, bool_equal and simplification

This adds a 'form' parameter to simplify_logic, which returns the corresponding form required (its simplest version). If form is None, the one with lower number of args is returned (SOP by default).
Simplification by to_dnf and to_cnf now occurs well, with relevant docstrings added too.