Предваренная нормальная форма
AIML-2-2-2 Предваренная нормальная форма
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул
Дизъюнктивная нормальная форма
Лекция 19: Логика предикатов. Кванторы
Лекция 13: Логика предикатов
Комментарии
@erznm@dqkszcl
Что значит слово "предварённый"? Как это понять?..