Восколько раз уменьшилась последовательность после применения алгоритма?

Var a,b,c,i,sum,cp:integer;
begin
sum:=0;
cp:=0;
Randomize;
writeln('Посчитайте сложение:');
while i<10 do
begin
a:=random(40)+10;
b:=random(60)+10;
sum:=a+b;
write('Сколько будет ',a,'+',b,'= ');
read(c);
if c=sum then begin
cp:=cp+1;
writeln('Молодец!');
end else writeln('Неправильно');
i:=i+1;
end;
writeln('Всего правильных ответов ',cp);
write('Оценка:');
if (cp<=4) then write('Очень плохо (2)') else
if (cp>=5) and (cp<=6) then write('Удовлетворительно (3)') else
if (cp>=7) and (cp<=8) then write('Хорошо (4)') else
if (cp>=9) then write('Отлично! (5)');
end.

∧ - логическое ИЛИ, ∨ - логическое И, ¬ - не что-то.

А и В принимают значения 0 (ложь) и 1 (истина) (здесь нам это не дано, надо просто сократить).

(A∧ ¬B)∨(¬A∧B)∧(A∨B) это

(A или не В) и (не А или В) или (А и В),

далее: (первые две скобки сократим, в данном случае надо чтобы хотя бы А или В имели любое значение)

(А или В) или (не А или не В) или (А и В)

то есть:

(А ∧ В) ∧ (¬А ∧ ¬В) ∧ (А ∨ В)

(но зачем нам А и В, когда есть А или В, то есть А и В становится бесполезным выражением, когда есть выражение, которому надо всего одно истинное значение)

и так:

(А или В) или (не А или не В)

то есть выражение всегда будет истинно, так как какое бы значение и имели А , В - выражение истинно.

Можно заменить это следующим:

А или не А или В или не В

А ∧ ¬А ∧ В ∧ ¬В

готово, а главное выражение всегда истинно!