好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:125
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統
邏輯謎題
答對率: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,826
上一道邏輯謎題
下一道邏輯謎題
本謎題專用討論區
目前尚無討論話題
此作者的其他謎題
雙字母謎語
er (猜一物品)
加密的購物清單(三)
密碼題第五題,劇情時間點在(二)之後。賓趁新曆新年第一天放假時回家,母親見難得家人團聚,想親手做點甜...
被隱藏的訊息
有許多科技往往是最先運用在軍事方面,之後才往其他領域擴展。就拿秘密通訊為例子:軍方為了在同盟間祕密地...
好評謎題
集合的差與聯集
這次我想要來點新的玩法~~ 定義一種字元: 一字元最多由7個火柴棒組成,若用了七個火柴棒,則會構成"...
接合填字
請利用空格搭配中央的字,組合成新的字 例如: 可組:呆、沐、杉、森 試著找出下面這些空格可填的字吧!...
萬聖節南瓜陣
6x6方陣裡面已擺了12顆南瓜, 請移動其中的3顆,讓每個橫行、直列、對角線上都有2顆南瓜: