好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:89
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統
邏輯謎題
答對率:55%
符號
英文讀法
中文解釋
¬
not
A為真,若且唯若¬A為假。
∧
and
若A和B都為真,則A∧B為真;否則為假。
∨
or
若A和B都為假,則A∨B為假;否則為真。
⊕
xor
若A和B中恰一個為真,A⊕B為真;否則為假。
→
implies
若A為真、B為假,則A→B為假;其餘狀況為真。
↔
iff
若A和B真假值相同,A↔B為真;否則為假。
上表列出6個基礎邏輯常用的符號。
這些符號被定義出來是為了方便,讓人可以精簡地書寫邏輯式子。實際上,我們可以從上表中刪去一些符號,使得
剩下的符號具有和原來所有符號相同的邏輯表達能力
。那麼最少可以剩下幾個符號呢?
ben4813(◆Cute Monkey◆)
2014-02-27提供
來源:從課堂上得到的靈感
看答案
2個
解析
我要編輯
作者:
ben4813(◆Cute Monkey◆)
|
歷史版本
比如說剩下¬和∨,其他符號都可以從這二個符號拼湊出來:
A∧B⇔¬((¬A)∨(¬B))
A⊕B⇔¬(A↔B)⇔(¬((¬A)∨B))∨(¬((¬B)∨A))
A→B⇔(¬A)∨B
A↔B⇔(A→B)∧(B→A)⇔((¬A)∨B)∧((¬B)∨A)⇔¬((¬((¬A)∨B))∨(¬((¬B)∨A)))
7,815
上一道邏輯謎題
下一道邏輯謎題
本謎題專用討論區
目前尚無討論話題
此作者的其他謎題
二難的選擇題
筱雄和優香是一對社會地位相當懸殊的戀人,筱雄家境清寒,需要打工來幫忙家計和支付學費,而優香則是一個大...
失職的行刑人
我覺得我可以弄一系列「死刑湯」(大誤) 一名行刑人對死刑犯射了一槍,隔天,那名行刑人卻因為未持守職責...
新學期的課表
劇情時間點回到賓快要開學的時候,這次賓的弟弟又會玩甚麼把戲呢?開學數天前的晚上,賓開始整理要帶去學校...
好評謎題
對稱的里程數
小金要開車去弟弟家, 出門前看了車上的儀表板, 發現車子的里程數剛好是一個對稱數(註:各位數字左右對...
文字拆解圖
六張色紙排最大的六芒星
你有六張一樣大小的正方形色紙, 可以任意折疊和排列,但不能剪開色紙; 請問,你能排出最大的六芒星形是...