Проставить порядок выполнения логических действий. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по логике
Проставить порядок выполнения логических действий

Проставить порядок выполнения логических действий .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Проставить порядок выполнения логических действий. Здесь и далее буквами a, b, c заменены элементарные высказывания. Для каждого из двух высказываний выяснить, является ли оно тавтологически истинным. Ответ доказать и пояснить при помощи таблиц истинности. з) ¬a↔¬с & (b V с) → b.

Решение

Потяни, чтобы посмотреть

Сделаем заключение в скобки, согласно правилам о приоритете логических связок (¬, , V, ≠, →, ↔): (¬а) ↔ ((¬с & (b V с)) → b).
Порядок действий→ 4 2 1 3
а b с ¬а ¬с ¬а ↔ ¬с & (b V с) → b
1 1 1 0 0 0 0 1 1
1 1 0 0 1 0 1 1 1
1 0 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 1 1
0 1 0 1 1 1 1 1 1
0 0 1 1 0 1 0 1 1
0 0 0 1 1 1 0 0 1
Высказывание «¬с & (b V с) → b» – тавтологически истинное, поскольку принимает все значения истинности (3)

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу