作者saltlake (SaltLake)
看板Math
標題[其他] 確定邏輯關係之一
時間Mon May 4 00:37:02 2020
請問要確定兩個邏輯變數之間的邏輯關係，
一定要完整檢查那 4 個變化之後才能確定，
還是能用較少數目的檢查確定?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.199.74 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Math/M.1588523824.A.951.html
1F：→ alan23273850: problem unclear, uh? 05/04 06:38
真值表表列方式一般是列出兩個變數: P 和 Q ，再列出要檢查的邏輯關係
P 的真值可為真假，Q 若是，是共有 4 種組合。
問題再是否必要把這 4 種組合都檢查過，才能確定是哪個邏輯關係，例如
^, V, ->, <->
※ 編輯: saltlake (114.44.199.74 臺灣), 05/04/2020 07:57:21
2F：推 chemmachine : 用背的。真值表每格都一樣的話代表敘述等價 05/04 08:21
3F：→ chemmachine : 或和且簡單不用背，大部分背->, <->推理就知 05/04 08:22
4F：推 alan23273850: 你都已經列出四個 gate 了，有可能只檢查三種情況 05/04 08:22
5F：→ alan23273850: 就唯一決定嗎？ 05/04 08:22
一條實數系的拋物線上有無限多點，但是我們只需要該曲線尚三個點的座標就能
決定描述該曲線的方程式。
6F：→ alan23273850: 應該先問原 po 本題目的為何 05/04 08:23
7F：推 chemmachine : 每格都要檢查 05/04 08:24
8F：推 chemmachine : 真值表每格都一樣代表敘述等價，至少一格不一樣就是 05/04 08:29
9F：→ chemmachine : 敘述不一樣，是古希臘最偉大的成就之一。它們有很 05/04 08:30
10F：→ chemmachine : 長的論證來研究真值表。 05/04 08:31
11F：推 alan23273850: 簡單來說，有幾種 gate 存在，就至少要檢查幾種情況 05/04 09:47
12F：→ alan23273850: 這只要靠簡單的推斷就可以得知！ 05/04 09:47
有否「邏輯函數」讓我們無庸檢查所有的可能性即可確定兩邏輯變數間的邏輯關係
※ 編輯: saltlake (114.44.199.74 臺灣), 05/04/2020 21:35:34
13F：推 alan23273850: 你舉的二次曲線是因為它有先天的形狀限制，那邏輯函 05/04 21:46
14F：→ alan23273850: 數的話，如 chem 板友所說，要完全一樣才是一樣，只 05/04 21:47
15F：→ alan23273850: 要有其中一列不一樣，就是不同函數，其實你就把邏輯 05/04 21:48
16F：→ alan23273850: 閘想成是函數名稱的概念就好 05/04 21:48
17F：推 LPH66 : Q1=P, Q2=~P, Q3=P^~P, Q4=Pv~P 05/04 21:56
18F：→ LPH66 : 你得要把真值表兩格都看過才能判斷是上列四個的哪個 05/04 21:56
19F：→ LPH66 : 多個變數相同, 例如兩變數我可以寫出所有 16 種組合 05/04 21:57
20F：→ LPH66 : 的邏輯式子, 你得要把真值表的四格都看過才能判斷 05/04 21:58