В статье предлагается новый подход к решению задачи выполнимости, использующий преобразование конъюнктивной нормальной формы (КНФ) исходной булевой функции в ее совершенную конъюнктивную нормальную форму (СКНФ), что позволяет находить его более быстро по сравнению с методом перебора наборов значений переменных, как это происходит в имеющихся решениях данной задачи. Такой переход осуществляется через промежуточную форму по отношению к СКНФ (ПСКНФ). В ней в отличие от СКНФ может быть повторение

more »

... нституент 0. Их исключение и является особенностью и главной трудностью решения задачи, требующего затрат времени.