上一道邏輯謎題
下一道邏輯謎題
極簡符號邏輯系統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)
其中↔可只由¬和∨得到，所以↔也可只由↓來得到，證畢。
只剩下｜也能滿足題目要求，有興趣者可自行證明看看。
6,864
上一道邏輯謎題
下一道邏輯謎題
因為畫的細膩會造成字太小，所以有些字所代表的東西其實比圖上的字還細小喔!
反白>>&g...
最近在舉行世界盃足球賽，來題應景的題目吧！
以一顆足球為中心，放置一些足球在它的周圍，
且周圍的球都...
這次我想要來點新的玩法~~
定義一種字元：
一字元最多由7個火柴棒組成，若用了七個火柴棒，則會構成"...