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

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

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

¬p → (q ∧ r) を対偶によって証明しようとしています。代わりに証明する含意はどれですか？ クリックしてください。

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

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

1. 1a ∧ ¬b
2. 2¬a ∨ ¬b
3. 3¬a → ¬b
4. 4¬a ∧ b

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

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