begin
:: deftheorem defines FALSE XBOOLEAN:def 1 :
:: deftheorem defines TRUE XBOOLEAN:def 2 :
:: deftheorem Def3 defines boolean XBOOLEAN:def 3 :
:: deftheorem defines 'not' XBOOLEAN:def 4 :
:: deftheorem defines '&' XBOOLEAN:def 5 :
:: deftheorem defines 'or' XBOOLEAN:def 6 :
:: deftheorem defines => XBOOLEAN:def 7 :
:: deftheorem defines <=> XBOOLEAN:def 8 :
:: deftheorem defines 'nand' XBOOLEAN:def 9 :
:: deftheorem defines 'nor' XBOOLEAN:def 10 :
:: deftheorem defines 'xor' XBOOLEAN:def 11 :
:: deftheorem defines '\' XBOOLEAN:def 12 :
begin
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
begin
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem