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

[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$. Вот на подсчёте этих последних и основан алгоритм.