Робочий аркуш «Логіка висловлювань і доведення» з відповідями

Заповніть таблицю істинності (1 = істина, 0 = хибність). У скількох рядках N істинне (b ∨ ¬a) ∧ (a ↔ b)?

Рівно один рядок таблиці істинності робить (q ∨ p) → q хибним. Клікніть цей рядок.

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

Яка формула логічно еквівалентна (q ∨ r) → p? Клікніть її.

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

Чи є (q ∨ p) ∧ (¬q ∧ ¬p) тавтологією, суперечністю чи випадковою формулою? Клікніть свою відповідь.

1. 1тавтологія
2. 2суперечність
3. 3випадкова формула

Задано передумови p → r; r → q; ¬q. Який висновок з них випливає? Клікніть його.

1. 1q
2. 2¬p
3. 3p
4. 4¬p ∧ q

Міркування з передумовами q → p; r → p і висновком q → r некоректне. Клікніть рядок таблиці істинності, що є контрприкладом.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0