作者yellowfishie (喵喵喵喵~~~)
看板NTUGIEE_EDA
标题Re: Logic Synthesis HW 1
时间Sun Oct 2 12:46:26 2005
※ 引述《enorm (give and believe)》之铭言：
: 标题: Re: Logic Synthesis HW 1
: 时间: Sat Oct 1 13:45:33 2005
:
: : ※ 引述《enorm (give and believe)》之铭言：
: : : 1. 应该就是证明 the uniqueness of inverses？
所以你觉得 infinite boolean algebra 也有这个性质罗?
infinite element 有奇偶数的问题吗?
: : : 4. 步骤是化简出来以後，再去检查哪些 f 是对的？
: : 嗯嗯 验证那些(x,y)的assignment
: : 当然 x+y and xy 只能等於 1 or 0
: 我化简之後是 axy+ax'y'+a' 可以的 f 是 f(a)=0 or a' 跟 f(a')=1 or a (四种)
为什麽我的 f 只有一种 XD
给定 f(0) 和 f(1), f 不是唯一解吗?
f is boolean => f(x)= xf(1) + x'f(0) = x a' + x'a
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.25.218