《计算机系统要素》第一章

第一章 布尔逻辑   

 

两变量的布尔函数

Constant 0	0
And	x*y
x And  Not  y	x*-y
x	x
Not  x And  y	-x * y
y	y
Xor	x* -y  +  -x *y
Or	x+y
Nor	- (x + y)
Equivalence	x*y  +   -x  * -y
Not y	-y
If  y  then  x	x + -y
Not  x	-x
If  x  then  y	-x + y
Nand	-(x*y)
Constant  1	1

 

 

门电路 1.3实现

 

利用原始门Nand来构建所有硬件。

 

Nand 门  布尔函数真值表

a	b	Nand(a,b)
0	0	1
0	1	1
1	0	1
1	1	0

 

Not 门  ｛Nand （in,1）｝(思路是 依据 b 的值来取反)

 

And 门  ｛Nand( Nand(a,b), 1 )｝（思路是 依据结果取反）

 

Or 门  ｛Nand (Not(a),Not(b))｝（思路是 依据真值表中 0 1 的逆反关系）

 

Xor 门  ｛( Nand(a,b) and  Nand(Not(a),Not(b)) )｝(思路是 依据真值表分析不同的部分)

 

Multipleoxr/Demultiplexor { ( And(Not(sel),a) or  And(sel,b) ) }