Логотип Автор24реферат
Заказать работу
%
уникальность
не проверялась
Решение задач на тему:

Найти все существенные переменные формул

уникальность
не проверялась
Аа
1522 символов
Категория
Логика
Решение задач
Найти все существенные переменные формул .pdf

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

Условие

Найти все существенные переменные формул: X&Y∨Y&Z; P→Q→P&Q; X&X&Y; P→P; Y∨X∨Y.

Решение

Потяни, чтобы посмотреть
Переменная является фиктивной если значение формулы не зависит от значения этой переменной, т.е. xi — фиктивная для формулы fx1, …, xi, …, xn если fx1, …, 0, …, xn=fx1, …, 1, …, xn. Переменная является существенной, если она не фиктивная, т.е. если fx1, …, 0, …, xn≠fx1, …, 1, …, xn. Определить является ли переменная существенной или фиктивной можно составлением таблицы истинности или равносильными преобразованиями.
1) X&Y∨Y&Z составим таблицу истинности
Видим, что все три переменные являются существенными:
f0, 1, 0=0≠f1, 1, 0=1 — Х существенная,
f0, 0, 1=1≠f0, 1, 1=0 — Y существенная,
f0, 0, 0=0≠f0, 0, 1=1 — Z существенная.
2) P→Q→P&Q используем равносильные преобразования
P→Q→P&Q≡¬P∨¬Q∨P&Q≡¬P∨¬Q∨P&¬Q∨Q≡¬P∨¬Q∨P≡¬P∨P∨¬Q≡1
Видим, что формула является тавтологией и всегда принимает значение 1, независимо от значений P и Q
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по логике:

Установить корректность следующего силлогизма

1270 символов
Логика
Решение задач

Найти все существенные переменные формул

1522 символов
Логика
Решение задач
Все Решенные задачи по логике
Закажи решение задач
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

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