好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數:120
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
極簡符號邏輯系統
- 謎題解析
回謎題解析頁
|
歷史版本
如何編輯?
比如說剩下¬和∨,其他符號都可以從這二個符號拼湊出來:
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)))
備註
送出