上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統邏輯謎題
答對率：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,974
上一道邏輯謎題
下一道邏輯謎題
據傳這是項羽在烏江邊自刎前所作的詩（有可能是後人所作），
充分描寫了他的心境，
更是一首詩謎，其謎底...
爸爸今年過年只給了小楷小治一個紅包，
裡面有3000元，要兩人自己去分配，規定如下：
由小楷先提出分...
某家族企業裡，董事長、總經理、財務長三人彼此是兄弟姊妹，
他們也很常帶自己的孩子到公司去；
有一天，...