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

Безкоштовний робочий аркуш для друку «Логіка висловлювань і доведення»: 6 задач від легких до рівня іспиту, з ключем відповідей. Роздрукуйте його або збережіть як PDF.

Новий робочий аркушТренуватися онлайн з підказками

Для викладачів: можна безкоштовно друкувати, копіювати й використовувати на заняттях. Кожен новий аркуш має нові значення і власні відповіді. Будемо вдячні за посилання на ExamProblems на сторінці вашого курсу.

Ім’я: ____________________   Дата: ____________

1.Легка
ab¬((b ∧ a) ↔ a)11100100

Рівно один рядок таблиці істинності робить ¬((b ∧ a) ↔ a) істинним. Клікніть цей рядок.

¬((b ∧ a) ↔ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Легка

Скільки рядків N має повна таблиця істинності для ((r ∨ ¬q) ∧ (r ∨ p)) → (q ∨ ¬p)?

((r ∨ ¬q) ∧ (r ∨ p)) → (q ∨ ¬p)
N =
3.Середня
q ∧ (p → r)q → (p → r)(q → p) → r(q → r) ∧ (p → r)

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

(q ∧ p) → r
  1. 1q ∧ (p → r)
  2. 2q → (p → r)
  3. 3(q → p) → r
  4. 4(q → r) ∧ (p → r)
4.Середня
¬c ∨ a¬c ∧ a¬c → ¬aa → c

Яка формула логічно еквівалентна c → a? Клікніть її.

c → a
  1. 1¬c ∨ a
  2. 2¬c ∧ a
  3. 3¬c → ¬a
  4. 4a → c
5.Складна

Скільки з 16 рядків таблиці істинності роблять (¬p → (r → s)) ∧ ((¬q → r) → s) істинним? Позначте це число N.

(¬p → (r → s)) ∧ ((¬q → r) → s)
N =
6.Складна

Скільки з 16 рядків таблиці істинності роблять ¬(s → (q → ¬r)) ∨ ((¬p → q) ↔ (p ∨ s)) істинним? Позначте це число N.

¬(s → (q → ¬r)) ∨ ((¬p → q) ↔ (p ∨ s))
N =

Ключ відповідей

  1. 1. a = 1, b = 0
  2. 2. N = 8
  3. 3. q → (p → r)
  4. 4. ¬c ∨ a
  5. 5. N = 10
  6. 6. N = 12

Повні покрокові розв’язки: тренуйте цю тему на examproblems.com.