theorem :: BVFUNC_1:51

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