NOT(X)=NOR(X,X) AND(X,Y)=NOT(NOR(X,Y)) OR(X,Y)=NOT(NOR(X,Y)) XOR(X,Y)=NOT(NOR(NOR(X,NOR(X,Y)), NOR(Y,NOR(X,Y))))