a 'nor' b is Function of Y,BOOLEAN ;
hence a 'nor' b is Function of Y,BOOLEAN ; :: thesis: verum