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

真理値表のちょうど 1 行が q → (¬q ∨ p) を偽にします。その行をクリックしてください。

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

真理値表のちょうど 1 行が (p → q) ↔ q を偽にします。その行をクリックしてください。

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

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

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

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

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

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