Введем высказывания А-« завтра будет хорошая погода». Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Введем высказывания А-« завтра будет хорошая погода»

Введем высказывания А-« завтра будет хорошая погода» .pdf

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

Условие

Введем высказывания: А-« завтра будет хорошая погода» В- « я буду кататься на коньках» С-« я буду кататься на лыжах» D-«Лучше поехать за город».

Решение

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

(А→В∨С)˄((С→ D)˄(В→┐D))→(А→С)
А) X1∨¬X1∧X2≡(X1∨X2)
Таблица истинности:
X1 X2 ¬X1 ¬X1∧X2 X1∨¬X1∧X2 X1∨X2 X1∨¬X1∧X2≡(X1∨X2)
0 0 1 0 0 0 1
0 1 1 1 1 1 1
1 0 0 0 1 1 1
1 1 0 0 1 1 1
Формулы в левой и правой частях имеют одинаковые значения, значит, они эквивалентны
б)X1∧(X1∨X2)∧(X3∨X2)≡(X1∧X3∨X1∧X2)
Таблица истинности:
X1 X2 X3 X1∨X2 X1∧(X1∨X2) X3∨X2 X1∧(X1∨X2)∧(X3∨X2) X1∧X3 X1∧X2 X1∧X3∨X1∧X2 X1∧(X1∨X2)∧(X3∨X2)≡(X1∧X3∨X1∧X2)
0 0 0 0 0 0 0 0 0 0 1
0 0 1 0 0 1 0 0 0 0 1
0 1 0 1 0 1 0 0 0 0 1
0 1 1 1 0 1 0 0 0 0 1
1 0 0 1 1 0 0 0 0 0 1
1 0 1 1 1 1 1 1 0 1 1
1 1 0 1 1 1 1 0 1 1 1
1 1 1 1 1 1 1 1 1 1 1
Формулы в левой и правой частях имеют одинаковые значения, значит, они эквивалентны
В)
Г)
Формула выполнима
Формула выполнима
X1∨X2∨X3→(X1∨X2)∧(X1∨X3)
Таблица истинности:
X1 X2 X3 X1∨X2 X1∨X2∨X3 X1∨X3 (X1∨X2)∧(X1∨X3) X1∨X2∨X3→(X1∨X2)∧(X1∨X3)
0 0 0 0 0 0 0 1
0 0 1 0 1 1 0 0
0 1 0 1 1 0 0 0
0 1 1 1 1 1 1 1
1 0 0 1 1 1 1 1
1 0 1 1 1 1 1 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1
Формула выполнима

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

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

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