Const col=14;
var i:byte;
T:array[1..col] of shortint;
begin
writeln('Массив из ',col,' элементов');
T[1]:=-2;
write(T[1]:6);
for i:=2 to col do begin
T[i]:=T[i-1]*(-1);
write(T[i]:6);
end;
end.
For i=1 to 15
input a
s=s+a
next
? s
Да...................,............
(А V В) Λ (А V С)
Для удобства заменим ∧ на · и ∨ на +
(А + В) · (А + С) - умножаем
A·A + A·C + A·B + B·C
A + A·C + A·B + B·C - выносим A за скобку
A · (1 + C + B) + B·C
A · 1 + B·C
A + B·C
Обратная замена
A ∨ B ∧ C
Что эквивалентно высказыванию 1)