作者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