Нормальные формы формул логики высказываний. ПР_3. Отчет по практической работе 3 Нормальные формы формул логики высказываний
Скачать 24.95 Kb.
|
Министерство науки и высшего образования Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего образования «Тульский государственный университет» Интернет-институт Кафедра вычислительной техники Отчет по практической работе №3 «Нормальные формы формул логики высказываний» Выполнил: студент гр.. Проверил: к.т.н., доц. Волошко А.Г. Тула – 2022 Цель работы Задачами данной практической работы является повторение основных понятий логики высказываний, изучение операций над ними приобретение навыков решения задач. Задание на практическую работу Вариант 4. Привести формулы к ДНФ (с помощью тождественных преобразований) и, если можно, упростить: Ход работы В результате упрощения выражения получена ДНФ форма. Выводы по проделанной работе При выполнении заданий данной практической работы были повторены основные понятия логики высказываний, получены навыки решения задач высказываний логики. |