Standard Logical Equivalences Examples