List Of Logical Equivalences Rules