作者moonshade (我家很大︿( ̄︶ ̄)︿)
看板NTUGIEE_EDA
标题Re: Logic Synthesis HW 1
时间Sat Oct 1 21:42:14 2005
※ 引述《enorm (give and believe)》之铭言:
: 1. 应该就是证明 the uniqueness of inverses?
: 2. 我觉得超难,连 aa=a, 1+a=1, a0=0, a+(b+c)=(a+b)+c, a(bc)=(ab)c 都要证
: 3. function table 跟 truth table 有什麽不同啊?差一行 f?
: 4. 步骤是化简出来以後,再去检查哪些 f 是对的?
看起来是代数的东西,
我看了一下Louis的东西以後,
大概一开始在讲代数的概念吧,
有兴趣可以看一下Algebra的书...
boolean algebra 是algebra的一种...
看看身边有没有数学系的人,这些他们会觉得很容易...
1. 证明uniqueness 通常就是假设有两个 a跟b是不一样的,经过一大堆有的
的没的,最後发现他们根本就是一样,
例如 0这个东西在代数上的uniqueness,就是假设有两个东西
for any number n in a specific algebra,
suppose a != b
and n+a = n, n+b=n
最後blah, blah 用代数的axion 证明a=b之类的,
大多都是这样玩...
2. 这个是每个数学本系课程系必玩的游戏,
应该有给你代数的axion跟小lemma吧?
直接用就可以了,我不知道你课本上有什麽,所以也不知道要怎麽解
基本上就是数学结构的概念,可以打开你数字系统structure的概念
3. function table 应该是指mapping吧,
logic operation 基本上可以看成一个2-ary function
f:B^2 -> B , a function mapping from 2 dim boolean space to
boolean space
and(a,b) = a and b...
something like this
--
Have fun playing math!!
hahaha
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.203.46.113
※ 编辑: moonshade 来自: 203.203.46.113 (10/01 21:51)
※ 编辑: moonshade 来自: 203.203.46.113 (10/01 21:52)
※ 编辑: moonshade 来自: 203.203.46.113 (10/01 21:53)
※ 编辑: moonshade 来自: 203.203.46.113 (10/01 21:54)
1F:推 enorm:其实没那麽大的问题...麻烦学长了^^" 10/01 22:48