上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統邏輯謎題
答對率：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,946
上一道邏輯謎題
下一道邏輯謎題
明天就是萬聖節了，大家有吃很多糖果嗎？今天來個應景的題目吧~
萬聖節前一天，五兄弟去沿街敲門玩tri...
如果想要秤出1~4克這四種重量的物品，不需要準備重1~4克的砝碼，
只需要1克、3克兩個砝碼即可：
...