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

Используя равносильные преобразования привести

уникальность
не проверялась
Аа
1610 символов
Категория
Высшая математика
Решение задач
Используя равносильные преобразования привести .pdf

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

Условие

Используя равносильные преобразования привести: формулу x→y→x∨y к конъюнктивной нормальной форме (КНФ); формулу x∧y∨x→y к дизъюнктивной нормальной форме (КНФ); формулу x∧y→x∧y к совершенной конъюнктивной нормальной форме (СКНФ); формулу x→y∧z к совершенной дизъюнктивной нормальной форме (СКНФ);

Ответ

x∨y; 1; x∨y; xyz∨xyz∨xyz∨xyz∨xyz;

Решение

Потяни, чтобы посмотреть
Для удобства знак конъюнкции (∧) будем опускать.
x→y→x∨y
Конъюнктивная нормальная форма (КНФ) имеет вид конъюнкции дизъюнкций.
x→y→x∨y=x∨y→x∨y=x∨y→x∨y=x∨y∨x∨y=xy∨x∨y=xy∨1∨y=x∨y
x∧y∨x→y
Дизъюнктивная нормальная форма (ДНФ) имеет вид дизъюнкции конъюнкций.
x∧y∨x→y=xy∨x→y=xy∨x∨y=x∨y∨x∨y=x∨y∨y=x∨1=1
x∧y→x∧y
Алгоритм построения СКНФ:
Построить таблицу истинности
Найти все наборы аргументов, на которых функция принимает значение 0
Выписать простые дизъюнкции для каждого из наборов по следующему правилу: если в наборе переменная принимает значение 1, то она входит в дизъюнкцию с отрицанием, а иначе без отрицания
Объединить все простые дизъюнкции с помощью конъюнкции
x
y
x
y
x∧y
x∧y
f=5→6
1 2 3 4 5 6 7
0 0 1 1 0 0 1
0 1 1 0 1 0 0
1 0 0 1 0 1 1
1 1 0 0 0 0 1
СКНФ: x∨y
x→y∧z
Алгоритм построения СДНФ:
Построить таблицу истинности
Найти все наборы аргументов, на которых функция принимает значение 1
Выписать простые конъюнкции для каждого из наборов по следующему правилу: если в наборе переменная принимает значение 0, то она входит в конъюнкцию с отрицанием, а иначе без отрицания
Объединить все простые конъюнкции с помощью дизъюнкции
x
y
z
y∧z
f=x→4
1 2 3 4 5
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1
СДНФ: xyz∨xyz∨xyz∨xyz∨xyz
Ответ:
x∨y;
1;
x∨y;
xyz∨xyz∨xyz∨xyz∨xyz;
50% задачи недоступно для прочтения
Переходи в Автор24, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по высшей математике:

Теория вероятностей и математическая статистика

587 символов
Высшая математика
Решение задач

Задания для самостоятельного решения x-a2dx

111 символов
Высшая математика
Решение задач

Написать уравнение плоскости проходящей через три заданные точки

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

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