好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:141
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統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,869
上一道邏輯謎題
下一道邏輯謎題
本謎題專用討論區
目前尚無討論話題
此作者的其他謎題
型態轉換的遞增數列
請問下面問號處該填什麼數字? 4, 8, 15, 22, 32, 42, 51, 58, ?
片狀密碼
密碼題型第二題,請享用~ 上面是一片片分散的密碼,請解出密碼所表達的事物
雙字母謎語
er (猜一物品)
好評謎題
誤判與錯放
久違的論證類題目又來啦! 『誤判』是把無罪者判為有罪, 『錯放』是把有罪者判為無罪; 一個完全公正的...
美女和老虎
有個不知名的國家,在那裡,國王審判犯人的方式,就是在競技場內,一扇門關老虎,一扇門關美女,在15分鐘...
共有幾個人
寒流來啦,等車的人都把手插進口袋裡禦寒。 "兩手都插進口袋的人有5個,只把左手插進口袋的人有2個,把...