好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:137
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統2
邏輯謎題
答對率:72%
在
上題
的符號表中加入二個邏輯符號,定義如下:
符號
|
英文讀法
nand
A
B
A|B
T
T
F
T
F
T
F
T
T
F
F
T
符號
↓
英文讀法
nor
A
B
A↓B
T
T
F
T
F
F
F
T
F
F
F
T
這次我們也要從中刪去一些符號,使得
剩下的符號具有和原來所有符號相同的邏輯表達能力
。最少可以剩下幾個符號?
P.S. 上面的表格為「真值表」,表中的T表示真(True),F表示假(False)。
ben4813(◆Cute Monkey◆)
2014-03-28提供(2014-03-28修改)
看答案
1個
解析
我要編輯
由
ben4813(◆Cute Monkey◆)
,
yaonepiece(小扁⊂(•̀ω•́⊂)
...等 2 人共同編輯 |
歷史版本
舉一個可滿足條件的狀況:剩下↓。
以下用非正式的方式證明只用↓的確可做到。
從上題我們已經知道用¬和∨可表示其他所有邏輯符號,如果我們可以用↓表示前二者,那麼↓也可以表示其他所有邏輯符號:
¬A⇔A↓A
A∨B⇔(A↓B)↓(A↓B)
然後再額外用↓來達到 |
A | B⇔(A↓B)↔(A↔B)
其中↔可只由¬和∨得到,所以↔也可只由↓來得到,證畢。
只剩下|也能滿足題目要求,有興趣者可自行證明看看。
6,868
上一道邏輯謎題
下一道邏輯謎題
本謎題專用討論區
目前尚無討論話題
此作者的其他謎題
安全的防盜鎖
有一個藝術品收藏家把他的收藏都放在家中的一個房間,這個房間只有一個門,門上有鎖。這門是進入房間的唯一...
加密的購物清單
密碼題第三題,本題需要相當的英文能力。賓的媽媽在出門前請放暑假在家的賓去超市買東西,購物清單就放在客...
雙字母謎語
er (猜一物品)
好評謎題
被棄置的紅蘿蔔、石頭、圍巾和樹枝
在院子裡微濕的地上, 只有一根爛掉的紅蘿蔔、兩塊小石頭、一條圍巾、兩根樹枝; 它們會在那邊的原因是相...
賺25%賠20%
一間傢俱店要結束營業舉行清倉大拍賣,書桌均一特價賣1000元, 第一天賣出了兩張書桌,其中一張特價後...
可以秤出1~40克的砝碼組
如果想要秤出1~4克這四種重量的物品,不需要準備重1~4克的砝碼, 只需要1克、3克兩個砝碼即可: ...