Что такое конъюнктивная нормальная форма формулы (КНФ)?
- есть формула, равносильная формуле исходной логической функции и записанная в виде дизъюнкции элементарных конъюнкций, построенных на пропозициональных переменных.
- есть формула, равносильная формуле исходной логической функции и записанная в виде конъюнкции элементарных дизъюнкций, построенных на пропозициональных переменных.
Для просмотра статистики ответов нужно
залогиниться.