theorem :: BVFUNC_1:44

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