ИДЗ-2 МЛиТА — первая сдача 1,2,4,5,10

Группа 8363

Нерсисян Артур

( Вариант 52 )

ИДЗ – 2 (задачи: 1, 2, 4, 5, 10)

Математическая логика и теория алгоритмов

1. Приведите формулу исчисления предикатов в ПНФ:

2. Приведите формулу исчисления предикатов в СНФ:

4. Выпишите все возможные резольвенты для множества дизъюнктов .

4. Приведите формулу исчисления предикатов в ПНФ так, чтобы в ней было 3 квантора:

10. Произведите унификацию атомарных формул и