Re: [理工] [離散]-邏輯的化簡
※ 引述《students (無敵樊小乖)》之銘言：
: 題目如下:
: if a then (if b then c else d) else (if e then d else c) (使用^ v ~來表示)
: 黃子嘉書上的答案是 ~a v ( (~b v c) ^ (b v d)) ^ a v ( (~e v d) ^ (e v c))
: 但是怎麼算都不是這個答案
: 不知道是不是答案有錯
( a -> ( b -> c ) ^ ( -b -> d ) ) ^ ( -a -> ( e -> d ) ^ ( -e -> c ) )
= ( -a v ( b -> c ) ^ ( -b -> d ) ) ^ ( a v ( e -> d ) ^ ( -e -> c ) )
= ( -a v ( -b v c ) ^ ( b v d ) ) ^ ( a v ( -e v d ) ^ ( e v c ) )
答案應該是正確的，有錯還請指正。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.57.79.76
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：