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