Формулу αX Y упростить и записать в системе логических связок Ω. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Формулу αX Y упростить и записать в системе логических связок Ω

Формулу αX Y упростить и записать в системе логических связок Ω .pdf

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

Условие

Формулу αX, Y упростить и записать в системе логических связок Ω. αX, Y=¬Y→X↔Y∧¬X→X→X→¬Y→¬X∧X∨¬Y, Ω=∨, ¬.

Решение

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

¬Y→X↔Y∧¬X→X→X→¬Y→¬X∧X∨¬Y=
=¬¬Y∨X↔¬Y∧¬X∨X→¬¬X∨¬Y∨¬X∧X∨¬Y=
=Y∨X↔¬Y∨¬¬X∨X→¬¬X∧¬¬Y∨¬X∧X∨¬Y=
=Y∨X↔¬Y∨X∨X→X∧Y∨¬X∧X∨¬Y=
=Y∨X↔¬Y∨X→X∨¬X∧Y∨¬X∧X∨¬Y=
=¬Y∨X∨¬Y∨X∧Y∨X∨¬¬Y∨X→1∧Y∨¬X∧X∨¬Y=
=¬Y∧¬X∨¬Y∨X∧Y∨X∨¬¬Y∧¬X→Y∨¬X∧X∨¬Y=
=¬Y∨X∧Y∨X∨Y∧¬X→Y∧X∨¬Y∨¬X∧X∨¬Y=
=¬Y∨X∧Y∨X→Y∧X∨Y∧¬Y∨¬X∧X∨¬X∧¬Y=
=¬Y∧Y∨X→Y∧X∨0∨0∨¬X∧¬Y=0∨X→Y∧X∨¬X∧¬Y=
=X→Y∧X∨¬X∧¬Y=¬X∨Y∧X∨¬X∧¬Y=¬X∨Y∧X;
теперь ¬X∨Y∧X=¬X∨¬¬Y∨¬X.

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

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

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

Дан вариационный ряд. Составить группированный ряд (пять интервалов)

1704 символов

Высшая математика

Решение задач

Составить уравнение плоскости отсекающей на координатных осях отрезки a1=3

341 символов

Высшая математика

Решение задач

EQ \a(lim x→0) \f(sin(x)·(e2·x-ex) cos(x)-cos(5·x))

1133 символов

Высшая математика

Решение задач

Закажи решение задач

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.