:: XBOOLEAN semantic presentation
:: deftheorem Def1 defines FALSE XBOOLEAN:def 1 :
:: deftheorem Def2 defines TRUE XBOOLEAN:def 2 :
:: deftheorem Def3 defines boolean XBOOLEAN:def 3 :
:: deftheorem Def4 defines 'not' XBOOLEAN:def 4 :
:: deftheorem Def5 defines '&' XBOOLEAN:def 5 :
:: deftheorem Def6 defines 'or' XBOOLEAN:def 6 :
:: deftheorem Def7 defines => XBOOLEAN:def 7 :
:: deftheorem Def8 defines <=> XBOOLEAN:def 8 :
:: deftheorem Def9 defines 'nand' XBOOLEAN:def 9 :
:: deftheorem Def10 defines 'nor' XBOOLEAN:def 10 :
:: deftheorem Def11 defines 'xor' XBOOLEAN:def 11 :
:: deftheorem Def12 defines '\' XBOOLEAN:def 12 :
theorem Th1: :: XBOOLEAN:1
theorem Th2: :: XBOOLEAN:2
theorem Th3: :: XBOOLEAN:3
theorem Th4: :: XBOOLEAN:4
theorem Th5: :: XBOOLEAN:5
theorem Th6: :: XBOOLEAN:6
theorem Th7: :: XBOOLEAN:7
theorem Th8: :: XBOOLEAN:8
theorem Th9: :: XBOOLEAN:9
theorem Th10: :: XBOOLEAN:10
theorem Th11: :: XBOOLEAN:11
theorem Th12: :: XBOOLEAN:12
theorem Th13: :: XBOOLEAN:13
theorem Th14: :: XBOOLEAN:14
theorem Th15: :: XBOOLEAN:15
theorem Th16: :: XBOOLEAN:16
theorem Th17: :: XBOOLEAN:17
theorem Th18: :: XBOOLEAN:18
theorem Th19: :: XBOOLEAN:19
theorem Th20: :: XBOOLEAN:20
theorem Th21: :: XBOOLEAN:21
theorem Th22: :: XBOOLEAN:22
theorem Th23: :: XBOOLEAN:23
theorem Th24: :: XBOOLEAN:24
theorem Th25: :: XBOOLEAN:25
theorem Th26: :: XBOOLEAN:26
theorem Th27: :: XBOOLEAN:27
theorem Th28: :: XBOOLEAN:28
theorem Th29: :: XBOOLEAN:29
theorem Th30: :: XBOOLEAN:30
theorem Th31: :: XBOOLEAN:31
theorem Th32: :: XBOOLEAN:32
theorem Th33: :: XBOOLEAN:33
theorem Th34: :: XBOOLEAN:34
theorem Th35: :: XBOOLEAN:35
theorem Th36: :: XBOOLEAN:36
theorem Th37: :: XBOOLEAN:37
theorem Th38: :: XBOOLEAN:38
theorem Th39: :: XBOOLEAN:39
theorem Th40: :: XBOOLEAN:40
theorem Th41: :: XBOOLEAN:41
theorem Th42: :: XBOOLEAN:42
theorem Th43: :: XBOOLEAN:43
theorem Th44: :: XBOOLEAN:44
theorem Th45: :: XBOOLEAN:45
theorem Th46: :: XBOOLEAN:46
theorem Th47: :: XBOOLEAN:47
theorem Th48: :: XBOOLEAN:48
theorem Th49: :: XBOOLEAN:49
theorem Th50: :: XBOOLEAN:50
theorem Th51: :: XBOOLEAN:51
theorem Th52: :: XBOOLEAN:52
theorem Th53: :: XBOOLEAN:53
theorem Th54: :: XBOOLEAN:54
theorem Th55: :: XBOOLEAN:55
theorem Th56: :: XBOOLEAN:56
theorem Th57: :: XBOOLEAN:57
theorem Th58: :: XBOOLEAN:58
theorem Th59: :: XBOOLEAN:59
theorem Th60: :: XBOOLEAN:60
theorem Th61: :: XBOOLEAN:61
theorem Th62: :: XBOOLEAN:62
theorem Th63: :: XBOOLEAN:63
theorem Th64: :: XBOOLEAN:64
theorem Th65: :: XBOOLEAN:65
theorem Th66: :: XBOOLEAN:66
theorem Th67: :: XBOOLEAN:67
theorem Th68: :: XBOOLEAN:68
theorem Th69: :: XBOOLEAN:69
theorem Th70: :: XBOOLEAN:70
theorem Th71: :: XBOOLEAN:71
theorem Th72: :: XBOOLEAN:72
theorem Th73: :: XBOOLEAN:73
theorem Th74: :: XBOOLEAN:74
theorem Th75: :: XBOOLEAN:75
theorem Th76: :: XBOOLEAN:76
theorem Th77: :: XBOOLEAN:77
theorem Th78: :: XBOOLEAN:78
theorem Th79: :: XBOOLEAN:79
theorem Th80: :: XBOOLEAN:80
theorem Th81: :: XBOOLEAN:81
theorem Th82: :: XBOOLEAN:82
theorem Th83: :: XBOOLEAN:83
theorem Th84: :: XBOOLEAN:84
theorem Th85: :: XBOOLEAN:85
theorem Th86: :: XBOOLEAN:86
theorem Th87: :: XBOOLEAN:87
theorem Th88: :: XBOOLEAN:88
theorem Th89: :: XBOOLEAN:89
theorem Th90: :: XBOOLEAN:90
theorem Th91: :: XBOOLEAN:91
theorem Th92: :: XBOOLEAN:92
theorem Th93: :: XBOOLEAN:93
theorem Th94: :: XBOOLEAN:94
theorem Th95: :: XBOOLEAN:95
theorem Th96: :: XBOOLEAN:96
theorem Th97: :: XBOOLEAN:97
theorem Th98: :: XBOOLEAN:98
theorem Th99: :: XBOOLEAN:99
theorem Th100: :: XBOOLEAN:100
theorem Th101: :: XBOOLEAN:101
theorem Th102: :: XBOOLEAN:102
theorem Th103: :: XBOOLEAN:103
theorem Th104: :: XBOOLEAN:104
theorem Th105: :: XBOOLEAN:105
theorem Th106: :: XBOOLEAN:106
theorem Th107: :: XBOOLEAN:107
theorem Th108: :: XBOOLEAN:108
theorem Th109: :: XBOOLEAN:109
theorem Th110: :: XBOOLEAN:110
theorem Th111: :: XBOOLEAN:111
theorem Th112: :: XBOOLEAN:112
theorem Th113: :: XBOOLEAN:113
theorem Th114: :: XBOOLEAN:114
theorem Th115: :: XBOOLEAN:115
theorem Th116: :: XBOOLEAN:116
theorem Th117: :: XBOOLEAN:117
theorem Th118: :: XBOOLEAN:118
theorem Th119: :: XBOOLEAN:119
theorem Th120: :: XBOOLEAN:120
theorem Th121: :: XBOOLEAN:121
theorem Th122: :: XBOOLEAN:122
theorem Th123: :: XBOOLEAN:123
theorem Th124: :: XBOOLEAN:124
theorem Th125: :: XBOOLEAN:125
theorem Th126: :: XBOOLEAN:126
theorem Th127: :: XBOOLEAN:127
theorem Th128: :: XBOOLEAN:128
theorem Th129: :: XBOOLEAN:129
theorem Th130: :: XBOOLEAN:130
theorem Th131: :: XBOOLEAN:131
theorem Th132: :: XBOOLEAN:132
theorem Th133: :: XBOOLEAN:133
theorem Th134: :: XBOOLEAN:134
theorem Th135: :: XBOOLEAN:135
theorem Th136: :: XBOOLEAN:136
theorem Th137: :: XBOOLEAN:137
theorem Th138: :: XBOOLEAN:138
theorem Th139: :: XBOOLEAN:139
theorem Th140: :: XBOOLEAN:140
theorem Th141: :: XBOOLEAN:141
theorem Th142: :: XBOOLEAN:142
theorem Th143: :: XBOOLEAN:143
theorem Th144: :: XBOOLEAN:144
theorem Th145: :: XBOOLEAN:145
theorem Th146: :: XBOOLEAN:146
theorem Th147: :: XBOOLEAN:147