作者tellux (寒川凝步)
看板NTUGIEE_EDA
标题Re: Logic Synthesis HW 1
时间Sun Oct 2 18:58:42 2005
※ 引述《enorm (give and believe)》之铭言：
: 2. (ii) 假设只能用投影片的那四个,我的步骤是 :P
: 有很多都是 * 与 + 对称的
: (a) aa=a
: (b) a+a=a
: (c) a+1=1
: (d) a0=0
: (e) a+ab=a (用到 (c))
: (f) a(a+b)=a (用到 (d))
: (g) ((a+b)+c)a=a (用到 (e,f))
: (h) (a+(b+c))a=a (用到 (a,e))
: (i) (ab)c+a=a (用到 (e,f))
: (j) a(bc)+a=a (用到 (b,f))
: (k) (a+b)+c=a+(b+c) (用到 (g,h))
: (l) (ab)c=a(bc) (用到 (i,j))
: (m) (ab)+(a'+b')=1 (用到 (c,k))
这边怪怪的
可以再解释一下吗？
: (n) (ab)(a'+b')=0 (用到 (d,l))
: (o) uniqueness of inverses
: (p) (ab)'=a'+b' (用到 (m,n,o))
: P.S. 我觉得我对於 a+(bc)=(a+b)*(a+c) 超迟钝，因为四则运算不能这样 XD
--
103 Jao-Chang Xsi,
Department of Fool Engineering
National TigerLand University,
Taipei, Taiwan.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.48.60
1F：推 enorm:m,n 证明 ab 与 a'+b' 彼此为 inverse 的性质 10/02 19:10
2F：推 tellux:我的问题是如何由 c,k推出m呢?s 10/02 19:30
3F：推 enorm:要转换一下....@@" 10/03 08:39