begin
:: deftheorem Def1 defines 'nand' BVFUNC26:def 1 :
:: deftheorem Def2 defines 'nor' BVFUNC26:def 2 :
:: deftheorem Def3 defines 'nand' BVFUNC26:def 3 :
:: deftheorem Def4 defines 'nor' BVFUNC26:def 4 :
theorem Th1:
theorem Th2:
theorem Th3:
theorem Th4:
theorem
theorem
theorem
theorem
theorem Th9:
theorem Th10:
theorem Th11:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th24:
theorem
theorem Th26:
theorem Th27:
theorem
theorem
theorem
theorem
theorem
theorem Th33:
theorem Th34:
theorem Th35:
theorem Th36:
theorem Th37:
theorem Th38:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th50:
theorem Th51:
theorem Th52:
theorem Th53:
theorem Th54:
theorem Th55:
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th62:
theorem Th63:
theorem Th64:
theorem Th65:
theorem Th66:
theorem Th67:
theorem
theorem
theorem
theorem
theorem
theorem