Задача 5. Минимизировать в классе ДНФ логическую функцию , которая принимает значение 1 на

Минимизировать в классе ДНФ логическую функцию , которая принимает значение 1 на следующих наборах переменных (0, 5, 8, 9, 13)

Решение:

Составим таблицу истинности функции

По таблице истинности составим СДНФ:

Преобразуем полученную СДНФ и получим минимальную ДНФ:

Задача 6

Записать утверждение на языке логики предикатов

Для любых 3 точек существует содержащая их плоскость

Решение:

Обозначим наши три точки как , , , а плоскость - . Тогда утверждение на языке предикатов будет выглядеть следующим образом:

То есть это означает, что каждая из трех точек принадлежит плоскости.

Дата добавления: 2015-10-13