作者asleepzzz (睡魔)
看板CSIE_ASM
标题Re: [问题] DLD 投影片-6
时间Fri Oct 5 01:05:17 2007
给ㄧ个logic gate的set
要看它满不满足completeness
只要看这个set任意组合出来的电路
能够符合每个function
就是COMPLETENESS
我举个例
如有2个logic variable--A B
则FUNCTION有2的2的2次方 也就是16种
只要能用gate的set完成(在此我用and or not示范)
就符合completeness
(A,B)---->OUTPUT
FUNCTION1(A*NOT A)
(0,0)->0
(0,1)->0
(1,0)->0
(1,1)->0
FUCTION2(A+NOT A)
(0,0)->1
(0,1)->1
(1,0)->1
(1,1)->1
FUCTION3(NOT(A+B))
(0,0)->1
(0,1)->0
(1,0)->0
(1,1)->0
FUCTION4(NOT A*B)
(0,0)->0
(0,1)->1
(1,0)->0
(1,1)->0
FUCTION5(A*NOT B)
(0,0)->0
(0,1)->0
(1,0)->1
(1,1)->0
FUCTION6(A*B)
(0,0)->0
(0,1)->0
(1,0)->0
(1,1)->1
FUCTION7(NOT A)
(0,0)->1
(0,1)->1
(1,0)->0
(1,1)->0
FUCTION8(NOT B)
(0,0)->1
(0,1)->0
(1,0)->1
(1,1)->0
FUCTION9(A*B+NOT A*NOT B)
(0,0)->1
(0,1)->0
(1,0)->0
(1,1)->1
FUCTION10((NOT A+NOT B)*(A+B))
(0,0)->0
(0,1)->1
(1,0)->1
(1,1)->0
FUCTION11(B)
(0,0)->0
(0,1)->1
(1,0)->0
(1,1)->1
FUCTION12(A)
(0,0)->0
(0,1)->0
(1,0)->1
(1,1)->1
FUCTION13(NOT A+NOT B)
(0,0)->1
(0,1)->1
(1,0)->1
(1,1)->0
FUCTION14(A+NOT(A+B))
(0,0)->1
(0,1)->0
(1,0)->1
(1,1)->1
FUCTION15((NOT A*NOT B)+B)
(0,0)->1
(0,1)->1
(1,0)->0
(1,1)->1
FUCTION16(A+B)
(0,0)->0
(0,1)->1
(1,0)->1
(1,1)->1
※ 引述《gglk (锦州挖挖)》之铭言：
: 老师不好意思，
: 也许我问的有些问题您上课有讲过，
: 或是您觉得很直观，
: 不过还是请您指点一下愚昧的学生。
: 请问
: 2.最後一行，可以说明一下NUMBERS OF FUNCTIONS的定义对於证明COMPLETENESS
: 是怎样USEFUL吗?
: 谢谢!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.25.78
1F：推 gglk:ㄟ谢谢助教，所以USEFUL就是可以帮你算出要穷举几个这样吗? 10/05 22:30
2F：→ gglk:另外如果真的要证COMPLETENESS是不是应该还要推到N个INPUT 10/05 22:31