上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統邏輯謎題
答對率：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,947
上一道邏輯謎題
下一道邏輯謎題
請幫上排圖示找出其排列的規則，
並依此規則找出下排哪一張圖片適合放在『？』中？
金探長擔任警察學校的客座教授，今天在新生課堂上播放了一段影片...
影片中，富翁夫妻兩人一同搭乘私人...
請從下圖中找出二個同音詞