theorem :: TWOSCOMP:6

for x, y being Element of BOOLEAN holds and2a . <*x,y*> = nor2a . <*y,x*>