theorem Th33: :: BVFUNC25:79

for Y being non empty set
for a, b, c being Function of Y,BOOLEAN holds a 'nor' (b '&' c) = ('not' (a 'or' b)) 'or' ('not' (a 'or' c))