Не работает программа на Турбо Паскале

[Sender]

BorisK,
так, давайте на пальцах. Допустим, имеется формула $F = (x_1\vee x_2 \vee x_3)\wedge (\neg x_1 \vee \neg x_2)$.
Полагаю, вы не будете спорить с тем, что в формулу $F$ входят $3$ булевых переменных, которые безотносительно к выполнимости формулы $F$ могут в совокупности принимать $8$ различных наборов значений? При этом $5$ из этих наборов являются выполняющими для формулы $F$, оставшиеся $3$ (а именно $(0,0,0),(1,1,0),(1,1,1)$) не являются выполняющими для формулы $F$. Вот на подсчёте этих последних и основан алгоритм.

[BorisK]

Sender в сообщении #1671628 писал(а):

При этом $5$ из этих наборов являются выполняющими для формулы $F$, оставшиеся $3$ (а именно $(0,0,0),(1,1,0),(1,1,1)$) не являются выполняющими для формулы $F$. Вот на подсчёте этих последних и основан алгоритм.

Прошу прощения за поздний ответ – не заметил, что появилась новая страница.
Ну, это уже о другом, а не о нулевых литералах и дизъюнкциях. Давайте возьмем самый неприятный и самый интересный с точки зрения решения проблемы P=NP случай: КНФ невыполнима. Сколько потребуется времени, чтобы подсчитать количество невыполняющих наборов? Мне не виден прок от такого подсчета. Вопрос о сокращении количества операций остается без ответа.

[Sender]

BorisK, все ответы есть по ссылке, в том числе и описание случаев, когда алгоритм работает экспоненциально долго. Есть желание -- разберётесь; мне, честно говоря, не очень интересно вам всё это разжёвывать.