[作業] 請問組語作業第二題

看板b95902HW作者 (tsya)時間18年前 (2007/10/21 13:52), 編輯推噓0(0推 0噓 1→)
留言1則, 1人參與, 最新討論串1/1
要證明符號的 universal 請問可以假設 And Or Not 是 universal 然後把以上三者表為別的符號嗎？ 像第一題 {Not, Or} 可以用這兩個已知符號 去把 And 表示出來 這樣算證明嗎？ 謝謝 -- ╭══◢████◤═══◢████◤═══◢◤══◢◤═══◢████◤══╮ ║ █████◤ █████◤ █ █ ██████ ║ ║ █ █◢███◤ █◢███ █◢████ ║ ║ █ ██████ █████◤ ██████ ║ ║ █ ◢█████ █ ██ ██ ║ ╰════█◤═════█████◤═════█◤═════█◤══█◤══╯ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.30.33
→
10/21 18:55, , 1F
Yes, it is a proof.
10/21 18:55, 1F
‣ 更多 tsya 的文章
文章代碼(AID): #176kaOYO (b95902HW)