[理工] 台大電機丙離散 ThereisBear PTT批踢踢實業坊

作者: ThereisBear (BearnoB) 2021-01-07 00:32:18

https://imgur.com/a/4Rqrnid
各位大大好想請問一下這兩題要如何證明不是functionally complete set?(補習班解答只有給false orz)

作者: alex391a (麥基) 2021-01-07 02:57:00

做不出且跟或吧

作者: naive131 2021-01-07 14:20:00

你把truth table畫出來 a<->b都會是2個0，2個1然後not這個關係不變，可是or跟and會有3個0或3個1，所以造不出來

作者: alex391a (麥基) 2021-01-07 15:14:00

xor也是兩個兩個

作者: ThereisBear (BearnoB) 2021-01-07 17:46:00

原來可以這樣想xD我懂了！謝謝n大和a大的解答^^

作者: liljimmy (吉米) 2021-01-11 15:28:00

N大的方法是只能判斷是否「錯」，沒辦法判斷「正確」是嗎？

作者: naive131 2021-01-11 21:58:00

回l大，因為他是問說那樣子是否為functionally completeset，因為他真值表怎麼組合都不會與and 或 or相等，所以這兩個不會邏輯等價也就不會是functionally completeset這樣子

作者: liljimmy (吉米) 2021-01-15 03:10:00

謝謝你們的解釋！清楚了！

繼續閱讀