:: Propositional Calculus for Boolean Valued Functions, {VIII}
:: by Shunichi Kobayashi
::
:: Received September 25, 2004
:: Copyright (c) 2004 Association of Mizar Users
:: deftheorem Def1 defines 'nand' BVFUNC26:def 1 :
:: deftheorem Def2 defines 'nor' BVFUNC26:def 2 :
:: deftheorem Def3 defines 'nand' BVFUNC26:def 3 :
:: deftheorem Def4 defines 'nor' BVFUNC26:def 4 :
theorem Th1: :: BVFUNC26:1
theorem Th2: :: BVFUNC26:2
theorem Th3: :: BVFUNC26:3
theorem Th4: :: BVFUNC26:4
theorem :: BVFUNC26:5
theorem :: BVFUNC26:6
theorem :: BVFUNC26:7
theorem :: BVFUNC26:8
theorem Th9: :: BVFUNC26:9
theorem Th10: :: BVFUNC26:10
theorem Th11: :: BVFUNC26:11
theorem :: BVFUNC26:12
theorem :: BVFUNC26:13
theorem :: BVFUNC26:14
theorem :: BVFUNC26:15
theorem :: BVFUNC26:16
theorem :: BVFUNC26:17
theorem :: BVFUNC26:18
theorem :: BVFUNC26:19
theorem :: BVFUNC26:20
theorem :: BVFUNC26:21
theorem :: BVFUNC26:22
theorem :: BVFUNC26:23
theorem Th24: :: BVFUNC26:24
theorem :: BVFUNC26:25
theorem Th26: :: BVFUNC26:26
theorem Th27: :: BVFUNC26:27
theorem :: BVFUNC26:28
theorem :: BVFUNC26:29
theorem :: BVFUNC26:30
theorem :: BVFUNC26:31
theorem :: BVFUNC26:32
theorem Th33: :: BVFUNC26:33
theorem Th34: :: BVFUNC26:34
theorem Th35: :: BVFUNC26:35
theorem Th36: :: BVFUNC26:36
theorem Th37: :: BVFUNC26:37
theorem Th38: :: BVFUNC26:38
theorem :: BVFUNC26:39
theorem :: BVFUNC26:40
theorem :: BVFUNC26:41
theorem :: BVFUNC26:42
theorem :: BVFUNC26:43
theorem :: BVFUNC26:44
theorem :: BVFUNC26:45
theorem :: BVFUNC26:46
theorem :: BVFUNC26:47
theorem :: BVFUNC26:48
theorem :: BVFUNC26:49
theorem Th50: :: BVFUNC26:50
theorem Th51: :: BVFUNC26:51
theorem Th52: :: BVFUNC26:52
theorem Th53: :: BVFUNC26:53
theorem Th54: :: BVFUNC26:54
theorem Th55: :: BVFUNC26:55
theorem :: BVFUNC26:56
theorem :: BVFUNC26:57
theorem :: BVFUNC26:58
theorem :: BVFUNC26:59
theorem :: BVFUNC26:60
theorem :: BVFUNC26:61
theorem Th62: :: BVFUNC26:62
theorem Th63: :: BVFUNC26:63
theorem Th64: :: BVFUNC26:64
theorem Th65: :: BVFUNC26:65
theorem Th66: :: BVFUNC26:66
theorem Th67: :: BVFUNC26:67
theorem :: BVFUNC26:68
theorem :: BVFUNC26:69
theorem :: BVFUNC26:70
theorem :: BVFUNC26:71
theorem :: BVFUNC26:72
theorem :: BVFUNC26:73