上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統邏輯謎題
答對率：53%
| 符號 | 英文讀法 | 中文解釋 |
| ¬ | 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個基礎邏輯常用的符號。
這些符號被定義出來是為了方便，讓人可以精簡地書寫邏輯式子。實際上，我們可以從上表中刪去一些符號，使得剩下的符號具有和原來所有符號相同的邏輯表達能力。那麼最少可以剩下幾個符號呢？
看答案
2個
解析
我要編輯比如說剩下¬和∨，其他符號都可以從這二個符號拼湊出來：
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)))
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)))
8,908
上一道邏輯謎題
下一道邏輯謎題
七夕情人節腦力補給沒有特別出題，那就在這來個應景題目吧！
你有辦法利用四枚硬幣畫出愛心嗎?
一名農夫在路上撿到了一本『財神筆記本』，
書封上寫著：
『把你想獲得的東西寫在這筆記本上，就會實現；...