Logic Gates Equivalences