作者moonshade (我家很大︿( ̄︶ ̄)︿)
看板NTUGIEE_EDA
标题Re: Logic Synthesis HW 1
时间Sun Oct 2 17:51:42 2005
※ 引述《JinliC (净璃)》之铭言:
: 我也有问题...><
: 1.第一题我也看不懂要证什麽?
: 是说因为有0就有1,有a就有a',
: 所以对set来说一定有偶数个elements吗? @@
根据fish 写给我的
Boolean( B, ., +, 0, 1 )
这个是algebra 的基本结构
B 是set, . 和 + 是 operation
0, 和1 是说有identity跟一个叫null 还是什麽鬼的
用. 和+ 怎麽做都跑不出0跟1以外,
所以B只有{0,1},但是我想的+, . 是and 跟or
我不知道你们学的是什麽..
只要证明新生出来的东西不脱离{0,1}这个group就好了
因为., + 是closed operation
如果是
Natural ( N, +, 0, 1)
那就会变成 1+1= 2
2, 3, 4, 5, 6, 7, infinity
有定义-的话就会有负数(inverse operation)
blah blah...
但如果说他要证是even or odd的话
那只要证明任何element都有一个对应的element在空间中就好了
如此便是他说的even吧?
这是我猜的...
例如说有a 就有a',0跟1,
他又没定义even是啥...
: 2.第四题的verify,我是先算出f(x)=ax'+a'x,
: 然後跟第三题一样用function table(x, y, f(x+y)+(f(xy))', a'+xy+x'y')
: (given g) (simplified g)
: 然後表示後两项一样。
: 可是这样原本的f(x)还是用Boole's th.算的,有验证到吗?
--
这东西在我多年前借给趁逢的书後面的附录有
--
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 编辑: moonshade 来自: 203.203.46.113 (10/02 17:55)