:: On the Arithmetic of Boolean Values
:: by Library Committee
::
:: Received November 30, 2006
:: Copyright (c) 2006 Association of Mizar Users
:: 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 :
theorem :: XBOOLEAN:1
theorem :: XBOOLEAN:2
theorem :: XBOOLEAN:3
theorem :: XBOOLEAN:4
theorem :: XBOOLEAN:5
theorem :: XBOOLEAN:6
theorem :: XBOOLEAN:7
theorem :: XBOOLEAN:8
theorem :: XBOOLEAN:9
theorem :: XBOOLEAN:10
theorem :: XBOOLEAN:11
theorem :: XBOOLEAN:12
theorem :: XBOOLEAN:13
theorem :: XBOOLEAN:14
theorem :: XBOOLEAN:15
theorem :: XBOOLEAN:16
theorem :: XBOOLEAN:17
theorem :: XBOOLEAN:18
theorem :: XBOOLEAN:19
theorem :: XBOOLEAN:20
theorem :: XBOOLEAN:21
theorem :: XBOOLEAN:22
theorem :: XBOOLEAN:23
theorem :: XBOOLEAN:24
theorem :: XBOOLEAN:25
theorem :: XBOOLEAN:26
theorem :: XBOOLEAN:27
theorem :: XBOOLEAN:28
theorem :: XBOOLEAN:29
theorem :: XBOOLEAN:30
theorem :: XBOOLEAN:31
theorem :: XBOOLEAN:32
theorem :: XBOOLEAN:33
theorem :: XBOOLEAN:34
theorem :: XBOOLEAN:35
theorem :: XBOOLEAN:36
theorem :: XBOOLEAN:37
theorem :: XBOOLEAN:38
theorem :: XBOOLEAN:39
theorem :: XBOOLEAN:40
theorem :: XBOOLEAN:41
theorem :: XBOOLEAN:42
theorem :: XBOOLEAN:43
theorem :: XBOOLEAN:44
theorem :: XBOOLEAN:45
theorem :: XBOOLEAN:46
theorem :: XBOOLEAN:47
theorem :: XBOOLEAN:48
theorem :: XBOOLEAN:49
theorem :: XBOOLEAN:50
theorem :: XBOOLEAN:51
theorem :: XBOOLEAN:52
theorem :: XBOOLEAN:53
theorem :: XBOOLEAN:54
theorem :: XBOOLEAN:55
theorem :: XBOOLEAN:56
theorem :: XBOOLEAN:57
theorem :: XBOOLEAN:58
theorem :: XBOOLEAN:59
theorem :: XBOOLEAN:60
theorem :: XBOOLEAN:61
theorem :: XBOOLEAN:62
theorem :: XBOOLEAN:63
theorem :: XBOOLEAN:64
theorem :: XBOOLEAN:65
theorem :: XBOOLEAN:66
theorem :: XBOOLEAN:67
theorem :: XBOOLEAN:68
theorem :: XBOOLEAN:69
theorem :: XBOOLEAN:70
theorem :: XBOOLEAN:71
theorem :: XBOOLEAN:72
theorem :: XBOOLEAN:73
theorem :: XBOOLEAN:74
theorem :: XBOOLEAN:75
theorem :: XBOOLEAN:76
theorem :: XBOOLEAN:77
theorem :: XBOOLEAN:78
theorem :: XBOOLEAN:79
theorem :: XBOOLEAN:80
theorem :: XBOOLEAN:81
theorem :: XBOOLEAN:82
theorem :: XBOOLEAN:83
theorem :: XBOOLEAN:84
theorem :: XBOOLEAN:85
theorem :: XBOOLEAN:86
theorem :: XBOOLEAN:87
theorem :: XBOOLEAN:88
theorem :: XBOOLEAN:89
theorem :: XBOOLEAN:90
theorem :: XBOOLEAN:91
theorem :: XBOOLEAN:92
theorem :: XBOOLEAN:93
theorem :: XBOOLEAN:94
theorem :: XBOOLEAN:95
theorem :: XBOOLEAN:96
theorem :: XBOOLEAN:97
theorem :: XBOOLEAN:98
theorem :: XBOOLEAN:99
theorem :: XBOOLEAN:100
theorem :: XBOOLEAN:101
theorem :: XBOOLEAN:102
theorem :: XBOOLEAN:103
theorem :: XBOOLEAN:104
theorem :: XBOOLEAN:105
theorem :: XBOOLEAN:106
theorem :: XBOOLEAN:107
theorem :: XBOOLEAN:108
theorem :: XBOOLEAN:109
theorem :: XBOOLEAN:110
theorem :: XBOOLEAN:111
theorem :: XBOOLEAN:112
theorem :: XBOOLEAN:113
theorem :: XBOOLEAN:114
theorem :: XBOOLEAN:115
theorem :: XBOOLEAN:116
theorem :: XBOOLEAN:117
theorem :: XBOOLEAN:118
theorem :: XBOOLEAN:119
theorem :: XBOOLEAN:120
theorem :: XBOOLEAN:121
theorem :: XBOOLEAN:122
theorem :: XBOOLEAN:123
theorem :: XBOOLEAN:124
theorem :: XBOOLEAN:125
theorem :: XBOOLEAN:126
theorem :: XBOOLEAN:127
theorem :: XBOOLEAN:128
theorem :: XBOOLEAN:129
theorem :: XBOOLEAN:130
theorem :: XBOOLEAN:131
theorem :: XBOOLEAN:132
theorem :: XBOOLEAN:133
theorem :: XBOOLEAN:134
theorem :: XBOOLEAN:135
theorem :: XBOOLEAN:136
theorem :: XBOOLEAN:137
theorem :: XBOOLEAN:138
theorem :: XBOOLEAN:139
theorem :: XBOOLEAN:140
theorem :: XBOOLEAN:141
theorem :: XBOOLEAN:142
theorem :: XBOOLEAN:143
theorem :: XBOOLEAN:144
theorem :: XBOOLEAN:145
theorem :: XBOOLEAN:146
theorem :: XBOOLEAN:147