Theorems

Id If Then Description
T1
T2
T3
T4
T5
T6
T7
T8
T9
T10 ∧
T11
T12
T13
T14
T15
T16
T17
T18
T19 ∧
T20
T21
T22 ∧
T23 ∧
T24 ∧
T25
T26 ∧
T27 ∧
T28 ∧ ∧
T30 ∧
T31 ∧ ∧
T32
T33
T35
T36
T37 ∧
T38
T39
T40
T41 ¬
T42
T43 ∧
T44
T45 ∧
T46
T47
T48
T49
T50 ∧
T51
T52 ∧ ¬
T53 ∧
T54
T55
T56
T57
T58
T59
T60 ∧
T61 ∧
T62 ∧
T63
T64
T65 ∧
T67
T68
T69
T70
T71
T72
T73 ∧
T74
T75 ∧ ¬
T76
T77
T78
T79
T80 ∧ ¬
T81 ∧ ∧ ¬
T82
T83 ∧ ¬ ¬
T84
T85
T86
T87
T88 ∧ ¬
T89 ∧ ¬ ¬
T90
T91 ∧
T92
T93
T94 ∧ ¬
T95 ∧
T96
T97 ∧
T98
T99 ∧
T100
T101 ∧
T102
T103
T104
T105 ∧
T106 ∧
T107 ∧
T108 ∧
T109 ∧ ¬
T110 ∧
T111 ∧
T112
T113
T114
T115
T116
T117 ∧
T118
T119
T121
T122
T123 ∧
T124 ∧
T126
T127 ∧ ∧ ∧
T128
T129
T130
T132 ∧
T133
T134 ∧ ¬ ¬
T135
T136 ∧
T138 ¬
T139
T140
T141
T142 ∧
T143
T144
T145 ∧
T146
T148 ∧
T149
T151 ∧
T152
T153 ∧
T154
T155
T156
T157
T158 ¬
T159 ∧ ¬
T160
T161
T162
T163
T164 ∧
T165
T166
T167 ∧
T168
T169
T170 ∧
T171 ∧ ¬
T172
T173
T174
T175 ∧
T176
T177
T178
T179 ∧ ∧
T180
T181
T183
T184
T185
T186
T187
T188 ∧
T189
T190
T191 ¬
T192 ∧
T193
T194
T195
T196 ∧
T198
T199
T200
T201 ∧
T202 ∧ ∧
T204
T205
T206
T207
T208 ∧ ¬
T209 ∧
T210 ∧
T211 ∧
T212 ∧
T213
T214
T215
T216
T217 ∧
T218
T219 ∧
T220
T221
T222
T223 ∧
T224 ∧
T225 ∧
T226
T227
T228
T229
T230 ∧
T234
T235 ∧
T236 ∧
T237
T238
T239 ∧ ∧ ∧
T240 ∧
T241
T242
T243
T244
T245
T246 ∧
T247 ∧ ¬
T248 ¬
T249 ¬
T250 ¬
T251
T252
T253 ∧ ¬
T254
T255 ∧
T256
T257 ∧
T258 ∧
T259
T260
T261 ∧
T262 ∧ ¬ ¬
T263 ∧
T264
T265 ∧
T266
T267 ∧
T268
T269 ∧ ∧
T270
T271
T272
T273
T274
T275 ∧ ∧
T276
T277 ∧
T278 ∧
T279 ∧
T280 ∧
T281
T282
T283 ∧
T284
T285
T286
T287
T288 ∧
T289
T290
T291 ∧
T292 ∧ ∧
T293
T295 ¬
T296
T297
T298 ∧
T299
T300 ∧
T301 ∧
T302 ∧ ∧
T303 ∧
T304 ∧
T305
T306 ∧ ¬
T307 ∧
T308 ∧ ∧ ¬
T309 ∧
T310
T311
T312 ∧
T313
T314 ¬
T315
T316
T317
T318 ∧
T319 ∧ ¬ ∧
T320
T321
T322 ∧ ∧
T323
T324
T325
T326
T327
T328
T329
T330
T331 ∧
T332
T333
T334 ∧
T335
T336
T337
T338
T339
T340
T341
T342
T343
T344 ∧
T345
T346 ¬
T347
T349
T350
T351 ∧
T353
T354
T355
T356
T357
T358
T359
T360
T361
T362
T363 ∧
T364
T365
T366
T367
T368
T369
T370
T371
T372
T373
T374 ∧ ∧
T375
T377 ∧
T378 ∧
T379 ∧
T380 ∧
T381 ∧
T382 ∧ ∧
T383
T384 ∧
T385
T386 ∧
T388
T389 ∧
T390
T391 ¬ ∧ ¬ ¬
T392 ∧
T393 ∧
T394 ∧
T395 ∧ ∧
T396 ∧
T397 ∧ ∧
T398 ∧ ∧
T399 ∧ ∧
T400 ∧
T401
T402 ∧
T403 ∧
T404 ∧ ∧
T405 ∧ ∧
T406 ∧
T407
T408
T409 ∧
T410
T411 ∧
T412
T413 ∧
T414
T415 ∧
T416 ∧
T417 ∧
T418 ∧
T419
T420
T421 ∧
T422 ∧ ¬
T423 ∧
T424
T425
T426 ∧
T427 ∧
T428
T429 ∧ ¬ ∧ ¬
T430
T431 ¬
T432 ∧ ∧
T433 ∧ ¬
T434 ∧
T435 ∧
T436 ∧
T437
T438 ∧
T439 ∧
T440
T441
T442 ∧
T443
T444 ∧ ¬
T445 ∧ ∧ ∧ ¬
T446 ¬
T447
T448
T449 ∧
T450
T451 ∧ ¬
T452 ∧
T453 ∧
T454
T455 ¬
T456 ∧ ¬
T457
T458
T459
T460
T461
T462 ∧ ∧
T463 ∧
T464 ∧
T465 ∧
T466 ∧
T467
T468 ∧
T469
T470 ∧ ∧ ¬
T471 ∧
T472
T473
T474
T475
T476 ∧ ∧
T477
T478
T479
T480 ∧ ∧
T481
T482
T483