Нормальная форма отрицания
Нормальная форма отрицания Формула имеет нормальную форму отрицания (NNF) в математической логике, если оператор отрицания применяется только к переменным и […]
Вики
Компиляция знаний
Вики
Конъюнктивная нормальная форма
Нормальная форма соединения Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул. CNF состоит из конъюнкций,
Вики
Дизъюнктивная нормальная форма
Дизъюнктивная нормальная форма DNF (дизъюнктивная нормальная форма) — представление формулы в виде дизъюнкции конъюнкций. Формула может быть представлена одним и