上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統邏輯謎題
答對率：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個基礎邏輯常用的符號。
這些符號被定義出來是為了方便，讓人可以精簡地書寫邏輯式子。實際上，我們可以從上表中刪去一些符號，使得剩下的符號具有和原來所有符號相同的邏輯表達能力。那麼最少可以剩下幾個符號呢？
看答案
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)))
7,810
上一道邏輯謎題
下一道邏輯謎題
明天就是元宵節啦！來猜猜看之前在網路上流傳甚廣的的看圖猜成語吧！
以下35題，每題都是一句成語喔：
下面是用火柴棒排出的六個一樣大的三角形，
請移動三根火柴，讓三角形剩下四個。（所有火柴都要用到）
下圖是用六根火柴棒拼成的兩個三角形，
你能移動一根火柴棒，讓它們形成四個三角形嗎？