好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:83
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統
邏輯謎題
答對率: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,828
上一道邏輯謎題
下一道邏輯謎題
本謎題專用討論區
目前尚無討論話題
此作者的其他謎題
加密的購物清單(二)
密碼題第四題,劇情接續第1007號謎題,本題需要一點英文能力和觀察力。 今天賓的媽媽又請仍在放暑假的...
誰有女朋友
賓的學校開學了,賓的室友也都回學校了,他們四人便一起去學校餐廳用餐。 在餐廳,賓和室友遇到其他系上的...
片狀密碼
密碼題型第二題,請享用~ 上面是一片片分散的密碼,請解出密碼所表達的事物
好評謎題
移.動 = 成.立
上圖的框中是用一些火柴棒與火柴頭所排成的。請移動最少的物件,使上圖成立。 其中,火柴棒或火柴頭皆可...
速算十位數複雜算式
不能用計算機輔助,你能多快用筆算出下面算式的答案? 9876543210÷(9876543210×9...
巧移火柴棒4
下圖為沒有等號的式子,請在下圖中移動2根火柴棒,使式子多出等號,之後並讓等式成立