theorem :: BVFUNC_1:50

for x being boolean object holds TRUE 'nor' x = FALSE ;