List Of Logical Equivalences In Discrete