作者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/cn.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