→ CaptainH: 真值表啊 49.216.226.59 12/24 17:16
推 CoNsTaR: 根據 connective 的 introduction rule 114.33.205.79 12/24 17:44
→ CoNsTaR: 和 elimination rule 來做的啊 114.33.205.79 12/24 17:44
→ CoNsTaR: 這些 rule 是定義 114.33.205.79 12/24 17:45
推 afbc: A+A'B 140.112.218.90 12/25 04:03
→ afbc: =A(1+B) +A'B 140.112.218.90 12/25 04:04
→ afbc: =A+AB+A'B 140.112.218.90 12/25 04:05
→ afbc: =A+(A+A')B 140.112.218.90 12/25 04:06
→ afbc: =A+B 140.112.218.90 12/25 04:06
感謝以上幾位的說明~
※ 編輯: a24230928 (114.42.74.201), 12/27/2016 21:54:36