命題論理 論理式の真偽 論理式の真理値表
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.1(論理式の真理値表)、問題1.7の解答を求めてみる。
| p | q | (¬p) ∧ q | p ∨ (¬q) | ¬(p ∧ q) |
|---|---|---|---|---|
| T | T | F | T | F |
| T | F | F | T | T |
| F | T | T | F | T |
| F | F | F | T | T |
| p | q | r | ¬(p ∨ q) ∨ r | (p ⇒ q) ⇒ r |
|---|---|---|---|---|
| T | T | T | T | T |
| T | T | F | F | F |
| T | F | T | T | T |
| T | F | F | F | T |
| F | T | T | T | T |
| F | T | F | F | F |
| F | F | T | T | T |
| F | F | F | T | F |
コード(Wolfram Language)
blns = {True, False}
Table[!p && q, {p, blns}, {q, blns}]
Table[p || !q, {p, blns}, {q, blns}]
Table[!(p && q), {p, blns}, {q, blns}]
Table[!(p || q) || r, {p, blns}, {q, blns}, {r, blns}]
Table[Implies[Implies[p, q], r], {p, blns}, {q, blns}, {r, blns}]
