Standard Logical Equivalences In Discrete