解答つき命題論理と証明ワークシート

真理値表を完成させてください（1 = 真、0 = 偽）。a ∨ (b → a) が真になる行は何行Nありますか？

(b ∨ c) ∨ (¬(a ∧ ¬c) ∨ (b → ¬a)) の真理値表がすべて書き出されています。b = 1 かつ c = 0 となる行は何行Nありますか？

p ∨ (r ∧ q) と論理的に同値な論理式はどれですか？ クリックしてください。

1. 1(p ∧ r) ∨ (p ∧ q)
2. 2(p ∨ r) ∧ q
3. 3(p ∨ r) ∧ (p ∨ q)
4. 4p ∧ (r ∨ q)

((a → c) ∧ (c → b)) → (a → b) は恒真式、矛盾、そのどちらでもない式のうちのどれですか？ 答えをクリックしてください。

1. 1恒真式
2. 2矛盾（恒偽式）
3. 3恒真でも矛盾でもない式

前提 b → c; b が与えられています。そこから導かれる結論はどれですか？ クリックしてください。

1. 1¬b
2. 2b ∧ ¬c
3. 3c
4. 4¬c

真理値表の 16 行のうち、(¬s ↔ (q → p)) ↔ ((r ∧ q) ∨ p) が真になるのは何行ですか？ この数を N とします。