→ 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
推 chemmachine : 用背的。真值表每格都一樣的話代表敘述等價 05/04 08:21
→ chemmachine : 或和且簡單不用背，大部分背->, <->推理就知 05/04 08:22
推 alan23273850: 你都已經列出四個 gate 了，有可能只檢查三種情況 05/04 08:22
→ alan23273850: 就唯一決定嗎？ 05/04 08:22
一條實數系的拋物線上有無限多點，但是我們只需要該曲線尚三個點的座標就能
決定描述該曲線的方程式。
→ alan23273850: 應該先問原 po 本題目的為何 05/04 08:23
推 chemmachine : 每格都要檢查 05/04 08:24
推 chemmachine : 真值表每格都一樣代表敘述等價，至少一格不一樣就是 05/04 08:29
→ chemmachine : 敘述不一樣，是古希臘最偉大的成就之一。它們有很 05/04 08:30
→ chemmachine : 長的論證來研究真值表。 05/04 08:31
推 alan23273850: 簡單來說，有幾種 gate 存在，就至少要檢查幾種情況 05/04 09:47
→ alan23273850: 這只要靠簡單的推斷就可以得知！ 05/04 09:47
有否「邏輯函數」讓我們無庸檢查所有的可能性即可確定兩邏輯變數間的邏輯關係
※ 編輯: saltlake (114.44.199.74 臺灣), 05/04/2020 21:35:34
推 alan23273850: 你舉的二次曲線是因為它有先天的形狀限制，那邏輯函 05/04 21:46
→ alan23273850: 數的話，如 chem 板友所說，要完全一樣才是一樣，只 05/04 21:47
→ alan23273850: 要有其中一列不一樣，就是不同函數，其實你就把邏輯 05/04 21:48
→ alan23273850: 閘想成是函數名稱的概念就好 05/04 21:48
推 LPH66 : Q1=P, Q2=~P, Q3=P^~P, Q4=Pv~P 05/04 21:56
→ LPH66 : 你得要把真值表兩格都看過才能判斷是上列四個的哪個 05/04 21:56
→ LPH66 : 多個變數相同, 例如兩變數我可以寫出所有 16 種組合 05/04 21:57
→ LPH66 : 的邏輯式子, 你得要把真值表的四格都看過才能判斷 05/04 21:58