theorem :: TWOSCOMP:7

for x, y being Element of BOOLEAN holds or2a . <*x,y*> = nand2a . <*y,x*>