Standard Logical Equivalences Conversion