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

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

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

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

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

1.Легка
pqr(q ∧ p) ↔ (r ∧ ¬q)111?110?101?100?011?010?001?000?

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

(q ∧ p) ↔ (r ∧ ¬q)
N =
2.Легка
aba → (b ∧ a)11100100

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

a → (b ∧ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Середня
pqr¬q ∨ ¬r(¬q ∨ ¬r) ∨ p((r ∨ p) ∨ q) ∧ ((¬q ∨ ¬r) ∨ p)111?110?101?100?011?010?001?000?

У скількох із 8 рядків таблиці істинності ((r ∨ p) ∨ q) ∧ ((¬q ∨ ¬r) ∨ p) істинне? Позначте це число N.

((r ∨ p) ∨ q) ∧ ((¬q ∨ ¬r) ∨ p)
N =
4.Середня
abc¬(¬b ∨ c) ↔ a(b → ¬a) ∨ (¬(¬b ∨ c) ↔ a)¬((b → ¬a) ∨ (¬(¬b ∨ c) ↔ a))111?110?101?100?011?010?001?000?

У скількох із 8 рядків таблиці істинності ¬((b → ¬a) ∨ (¬(¬b ∨ c) ↔ a)) істинне? Позначте це число N.

¬((b → ¬a) ∨ (¬(¬b ∨ c) ↔ a))
N =
5.Складна

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

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

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

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

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

  1. 1. N = 4
  2. 2. a = 1, b = 0
  3. 3. N = 6
  4. 4. N = 1
  5. 5. N = 10
  6. 6. N = 7

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