[理工] 台大電機丙離散

[ThereisBear (BearnoB)]

https://imgur.com/a/4Rqrnid

各位大大好 想請問一下這兩題要如何證明不是functionally complete set?(補習班解答只有給false orz)

-----
Sent from JPTT on my Samsung SM-A315G.

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.14.202.220 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1609950740.A.6EE.html
推 alex391a: 做不出且跟或吧
→ naive131: 你把truth table畫出來 a<->b都會是2個0，2個1然後not這
→ naive131: 個關係不變，可是or跟and會有3個0或3個1，所以造不出來
推 alex391a: xor也是兩個兩個
→ ThereisBear: 原來可以這樣想xD我懂了！謝謝n大和a大的解答^^
推 liljimmy: N大的方法是只能判斷是否「錯」，沒辦法判斷「正確」是
以{XOR ,->}為functionally complete set來說的話
XOR 真值表結果是兩個0兩個1，相當於NOT的作用，->的結果三個1一個0，搭配上XOR可產生相當OR的作用(我的想法，如有錯誤還請糾正)
我想也n大畫真值表這個作法也是可以求證true的情況的https://imgur.com/a/9f9Ul5N
→ liljimmy: 嗎？
※ 編輯: ThereisBear (49.216.212.246 臺灣), 01/11/2021 16:41:09
※ 編輯: ThereisBear (49.216.212.246 臺灣), 01/11/2021 16:46:58
※ 編輯: ThereisBear (49.216.212.246 臺灣), 01/11/2021 16:48:22
→ naive131: 回l大，因為他是問說那樣子是否為functionally complete
→ naive131:  set，因為他真值表怎麼組合都不會與and 或 or相等，所
→ naive131: 以這兩個不會邏輯等價也就不會是functionally complete
→ naive131: set這樣子
推 liljimmy: 謝謝你們的解釋！清楚了！