Помощь в решении контрольной работы по предмету "Теория алгоритмов"
Контрольная работа будет проходить в среду, 10 июня, в 10-11 утра. В ней содержится три задания. 1) Дана булева формула. Построить для неё таблицу истинности, совершенную ДНФ и КНФ. 2) Дана сигнатура и написано некоторое высказывание на русском языке. Записать для него формулу логики предикатов. В задании можно использовать только те предикаты и функции, которые указаны в условии. Разрешается вводить дополнительные обозначения, но они быть явно выражены через символы сигнатуры. 3) Дана формула логики предикатов. Описать свойство графов, которое она задаёт, и построить модель и контрмодель, содержащие не менее пяти вершин. Недостаточно просто написать, что говорит формула. Нужно нарисовать два конкретных графа таких, что на одном она истинна, а на втором - ложна. | |
Обязательные требования | |
Можно решить двумя способами: 1) письменно 2) напечатать в вордовском документе Главное, чтобы решено было правильно и подробно расписано |