Write logic equivalences in a clearer way