上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統2邏輯謎題
答對率：72%
符號 ｜
英文讀法 nand
| A | B | A｜B |
| T | T | F |
| T | F | T |
| F | T | T |
| F | F | T |
符號 ↓
英文讀法 nor
| A | B | A↓B |
| T | T | F |
| T | F | F |
| F | T | F |
| F | F | T |
這次我們也要從中刪去一些符號，使得剩下的符號具有和原來所有符號相同的邏輯表達能力。最少可以剩下幾個符號？
P.S. 上面的表格為「真值表」，表中的T表示真(True)，F表示假(False)。
看答案
1個
解析
我要編輯舉一個可滿足條件的狀況：剩下↓。
以下用非正式的方式證明只用↓的確可做到。
從上題我們已經知道用¬和∨可表示其他所有邏輯符號，如果我們可以用↓表示前二者，那麼↓也可以表示其他所有邏輯符號：
¬A⇔A↓A
A∨B⇔(A↓B)↓(A↓B)
然後再額外用↓來達到 |
A | B⇔(A↓B)↔(A↔B)
其中↔可只由¬和∨得到，所以↔也可只由↓來得到，證畢。
只剩下｜也能滿足題目要求，有興趣者可自行證明看看。
以下用非正式的方式證明只用↓的確可做到。
從上題我們已經知道用¬和∨可表示其他所有邏輯符號，如果我們可以用↓表示前二者，那麼↓也可以表示其他所有邏輯符號：
¬A⇔A↓A
A∨B⇔(A↓B)↓(A↓B)
然後再額外用↓來達到 |
A | B⇔(A↓B)↔(A↔B)
其中↔可只由¬和∨得到，所以↔也可只由↓來得到，證畢。
只剩下｜也能滿足題目要求，有興趣者可自行證明看看。
7,692
上一道邏輯謎題
下一道邏輯謎題
密碼題型第二題，請享用~
上面是一片片分散的密碼，請解出密碼所表達的事物
上禮拜小金、小楷、小治三人一起去百貨公司買母親節禮物，
拿到了三張抽獎券，沒想到三張都中獎了！
抽中...
從下圖選一個圓圈開始，固定往順時針或逆時針數，
每數六個時，把第六個圓圈移除，然後繼續數下去，
如果...
百萬獎金腦力戰這次的新單元引發眾多討論，
因為它不僅難度高，還可能有生命危險，至今有不少挑戰者都受了...