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

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

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

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

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

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

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

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

真理値表の 16 行のうち、(a ∧ (c → ¬b)) ∨ ¬((b ∧ ¬c) → d) が真になるのは何行ですか？ この数を N とします。