作者NaoeKimiya (直枝公也)
看板logic
标题[请益] 关於逻辑电路设计的问题
时间Sat Oct 2 11:45:35 2010
我不太确定这个问题发在这里是否洽当，
因为有牵扯到逻辑的部分，才会选择发在此板，
如果有不恰当的部分麻烦告知一下，谢谢。
------------
是关於 x+yz = (x+y)(x+z) 的证明题。
必须证明左式 = 右式。
我的做法是把右式导出左式，然後再以完全相反的方式由左导回右。
主要想询问的是，如果我纯粹想由左推至右，
而不要藉由先从右推左再逆推的方式的话，那麽我应该要从何下手比较好呢？
因为我由右推左再逆推，这样的作法的确可行，
可是在思考上却说不太通，所以想请教一下有没有什麽其他方法。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.118.41.155
1F：推 kuoll:是我的话会使用真值表 三个变数也才八行 反而比推导有直觉 10/02 13:06
2F：→ NaoeKimiya:对耶！突然忘记可以用真值表，这样就简单多了，谢谢 :) 10/02 15:21
3F：推 maylaw:真值表不能作为论证有效或无效的证明，只算是检查的工具 10/05 20:27
4F：推 Hseuler:这问题不是在判定论证是无效有效... 10/05 23:01
5F：推 Hseuler:他只是个布尔代数的问题 10/05 23:06