:: Short {S}heffer Stroke-Based Single Axiom for {B}oolean Algebras
:: by Aneta {\L}ukaszuk and Adam Grabowski
::
:: Received May 31, 2004
:: Copyright (c) 2004 Association of Mizar Users
:: deftheorem Def1 defines satisfying_Sh_1 SHEFFER2:def 1 :
theorem Th1: :: SHEFFER2:1
theorem Th2: :: SHEFFER2:2
theorem Th3: :: SHEFFER2:3
theorem Th4: :: SHEFFER2:4
theorem Th5: :: SHEFFER2:5
theorem Th6: :: SHEFFER2:6
theorem Th7: :: SHEFFER2:7
theorem Th8: :: SHEFFER2:8
theorem Th9: :: SHEFFER2:9
theorem Th10: :: SHEFFER2:10
theorem Th11: :: SHEFFER2:11
theorem Th12: :: SHEFFER2:12
theorem Th13: :: SHEFFER2:13
theorem Th14: :: SHEFFER2:14
theorem Th15: :: SHEFFER2:15
theorem Th16: :: SHEFFER2:16
theorem Th17: :: SHEFFER2:17
theorem Th18: :: SHEFFER2:18
theorem Th19: :: SHEFFER2:19
theorem Th20: :: SHEFFER2:20
theorem Th21: :: SHEFFER2:21
theorem Th22: :: SHEFFER2:22
theorem Th23: :: SHEFFER2:23
theorem Th24: :: SHEFFER2:24
theorem Th25: :: SHEFFER2:25
theorem Th26: :: SHEFFER2:26
theorem Th27: :: SHEFFER2:27
theorem Th28: :: SHEFFER2:28
theorem Th29: :: SHEFFER2:29
theorem Th30: :: SHEFFER2:30
theorem Th31: :: SHEFFER2:31
theorem Th32: :: SHEFFER2:32
theorem Th33: :: SHEFFER2:33
theorem Th34: :: SHEFFER2:34
theorem Th35: :: SHEFFER2:35
theorem Th36: :: SHEFFER2:36
theorem Th37: :: SHEFFER2:37
theorem Th38: :: SHEFFER2:38
theorem Th39: :: SHEFFER2:39
theorem Th40: :: SHEFFER2:40
theorem Th41: :: SHEFFER2:41
theorem Th42: :: SHEFFER2:42
theorem Th43: :: SHEFFER2:43
theorem Th44: :: SHEFFER2:44
theorem Th45: :: SHEFFER2:45
theorem Th46: :: SHEFFER2:46
theorem Th47: :: SHEFFER2:47
theorem Th48: :: SHEFFER2:48
theorem Th49: :: SHEFFER2:49
theorem Th50: :: SHEFFER2:50
theorem Th51: :: SHEFFER2:51
theorem Th52: :: SHEFFER2:52
theorem Th53: :: SHEFFER2:53
theorem Th54: :: SHEFFER2:54
theorem Th55: :: SHEFFER2:55
theorem Th56: :: SHEFFER2:56
theorem Th57: :: SHEFFER2:57
theorem Th58: :: SHEFFER2:58
theorem Th59: :: SHEFFER2:59
theorem Th60: :: SHEFFER2:60
theorem Th61: :: SHEFFER2:61
theorem Th62: :: SHEFFER2:62
theorem Th63: :: SHEFFER2:63
theorem Th64: :: SHEFFER2:64
theorem Th65: :: SHEFFER2:65
theorem Th66: :: SHEFFER2:66
theorem Th67: :: SHEFFER2:67
theorem Th68: :: SHEFFER2:68
theorem Th69: :: SHEFFER2:69
theorem Th70: :: SHEFFER2:70
theorem Th71: :: SHEFFER2:71
theorem Th72: :: SHEFFER2:72
theorem Th73: :: SHEFFER2:73
theorem Th74: :: SHEFFER2:74
theorem Th75: :: SHEFFER2:75
theorem Th76: :: SHEFFER2:76
theorem Th77: :: SHEFFER2:77
theorem Th78: :: SHEFFER2:78
theorem Th79: :: SHEFFER2:79
theorem Th80: :: SHEFFER2:80
theorem Th81: :: SHEFFER2:81
theorem Th82: :: SHEFFER2:82
theorem Th83: :: SHEFFER2:83
theorem Th84: :: SHEFFER2:84
theorem Th85: :: SHEFFER2:85
theorem Th86: :: SHEFFER2:86
theorem Th87: :: SHEFFER2:87
theorem Th88: :: SHEFFER2:88
theorem Th89: :: SHEFFER2:89
theorem Th90: :: SHEFFER2:90
theorem Th91: :: SHEFFER2:91
theorem Th92: :: SHEFFER2:92
theorem Th93: :: SHEFFER2:93
theorem Th94: :: SHEFFER2:94
theorem Th95: :: SHEFFER2:95
theorem Th96: :: SHEFFER2:96
theorem Th97: :: SHEFFER2:97
theorem Th98: :: SHEFFER2:98
theorem Th99: :: SHEFFER2:99
theorem Th100: :: SHEFFER2:100
theorem Th101: :: SHEFFER2:101
theorem Th102: :: SHEFFER2:102
theorem Th103: :: SHEFFER2:103
theorem Th104: :: SHEFFER2:104
theorem Th105: :: SHEFFER2:105
theorem Th106: :: SHEFFER2:106
theorem Th107: :: SHEFFER2:107
theorem Th108: :: SHEFFER2:108
theorem Th109: :: SHEFFER2:109
theorem Th110: :: SHEFFER2:110
theorem Th111: :: SHEFFER2:111
theorem Th112: :: SHEFFER2:112
theorem Th113: :: SHEFFER2:113
theorem Th114: :: SHEFFER2:114
theorem Th115: :: SHEFFER2:115
theorem Th116: :: SHEFFER2:116
theorem Th117: :: SHEFFER2:117
theorem Th118: :: SHEFFER2:118
theorem Th119: :: SHEFFER2:119
theorem Th120: :: SHEFFER2:120
theorem Th121: :: SHEFFER2:121
theorem Th122: :: SHEFFER2:122
theorem Th123: :: SHEFFER2:123
theorem Th124: :: SHEFFER2:124
theorem Th125: :: SHEFFER2:125
theorem Th126: :: SHEFFER2:126
theorem Th127: :: SHEFFER2:127
theorem Th128: :: SHEFFER2:128
theorem Th129: :: SHEFFER2:129
theorem Th130: :: SHEFFER2:130
theorem Th131: :: SHEFFER2:131
theorem Th132: :: SHEFFER2:132
theorem Th133: :: SHEFFER2:133
theorem Th134: :: SHEFFER2:134
theorem Th135: :: SHEFFER2:135
theorem Th136: :: SHEFFER2:136
theorem Th137: :: SHEFFER2:137
theorem Th138: :: SHEFFER2:138
theorem Th139: :: SHEFFER2:139
theorem Th140: :: SHEFFER2:140
theorem Th141: :: SHEFFER2:141
theorem Th142: :: SHEFFER2:142
theorem Th143: :: SHEFFER2:143
theorem Th144: :: SHEFFER2:144
theorem Th145: :: SHEFFER2:145
theorem Th146: :: SHEFFER2:146
theorem Th147: :: SHEFFER2:147
theorem Th148: :: SHEFFER2:148
theorem Th149: :: SHEFFER2:149
theorem Th150: :: SHEFFER2:150
theorem Th151: :: SHEFFER2:151
theorem Th152: :: SHEFFER2:152
theorem Th153: :: SHEFFER2:153
theorem Th154: :: SHEFFER2:154
theorem Th155: :: SHEFFER2:155
theorem Th156: :: SHEFFER2:156
theorem Th157: :: SHEFFER2:157
theorem Th158: :: SHEFFER2:158
theorem Th159: :: SHEFFER2:159
theorem Th160: :: SHEFFER2:160
theorem Th161: :: SHEFFER2:161