作者ThereisBear (BearnoB)
看板Grad-ProbAsk
標題[理工] 台大電機丙離散
時間Thu Jan 7 00:32:18 2021
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://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1609950740.A.6EE.html
1F：推 alex391a: 做不出且跟或吧 01/07 02:57
2F：→ naive131: 你把truth table畫出來 a<->b都會是2個0，2個1然後not這 01/07 14:20
3F：→ naive131: 個關係不變，可是or跟and會有3個0或3個1，所以造不出來 01/07 14:20
4F：推 alex391a: xor也是兩個兩個 01/07 15:14
5F：→ ThereisBear: 原來可以這樣想xD我懂了！謝謝n大和a大的解答^^ 01/07 17:46
6F：推 liljimmy: N大的方法是只能判斷是否「錯」，沒辦法判斷「正確」是 01/11 15:28
以{XOR ,->}為functionally complete set來說的話
XOR 真值表結果是兩個0兩個1，相當於NOT的作用，->的結果三個1一個0，搭配上XOR可產生相當OR的作用(我的想法，如有錯誤還請糾正)
我想也n大畫真值表這個作法也是可以求證true的情況的
https://imgur.com/a/9f9Ul5N
7F：→ liljimmy: 嗎？ 01/11 15:28
※ 編輯: 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
8F：→ naive131: 回l大，因為他是問說那樣子是否為functionally complete 01/11 21:58
9F：→ naive131: set，因為他真值表怎麼組合都不會與and 或 or相等，所 01/11 21:58
10F：→ naive131: 以這兩個不會邏輯等價也就不會是functionally complete 01/11 21:58
11F：→ naive131: set這樣子 01/11 21:58
12F：推 liljimmy: 謝謝你們的解釋！清楚了！ 01/15 03:10