theorem :: TWOSCOMP:16

for x, y, z being Element of BOOLEAN holds
( and3a . <*x,y,z*> = nor3b . <*z,y,x*> & and3b . <*x,y,z*> = nor3a . <*z,y,x*> )