Чёрч А. — Введение в математическую логику (том 1) | см. «Конъюнктивная нормальная форма», «Дизъюнктивная нормальная форма», «Полная конъюнктивная нормальная форма», «Полная дизъюнктивная нормальная форма», «Импликативная нормальная форма, «Нормальная форма (относительно обусловленной дизъюнкции)», «Предваренная нормальная форма», «Предваренно-дизъюнктивная нормальная форма», «Сколема нормальная форма для выполнимости» |