theorem :: TWOSCOMP:61

for x, y, z being Element of BOOLEAN holds and3 . <*x,y,z*> = 'not' ((('not' x) 'or' ('not' y)) 'or' ('not' z)) by Lm8;