Скорее всего, это на Логические связи (тождественную истинность):
Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных.
Отрицание тождественно истинной формулы будет, очевидно, тождественно ложной формулой, и обратно.
1) Все аксиомы суть тождественно истинные формулы
2) Применяя к тождественно истинным формулам правила вывода, мы получаем также тождественно истинные формулы.
Отсюда следует, что все выводимые формулы исчисления высказываний, рассматриваемые как формулы алгебры высказываний, являются тождественно истинными.
Не все формулы языка логики высказываний являются тождественно-истинными. Имеются также так называемые тождественно - ложные формулы — формулы, принимающие значение Л (ложь) при любых распределениях значений имеющихся в них пропозициональных переменных (символов). Любая тождественно-ложная формула представляет собой отрицание закона логики. Ясно также, что имеет место и обратное — отрицание тождественно-ложной формулы есть закон логики. Наконец, имеются формулы не тождественно-истинные и не тождественно ложные — такие, которые при одних распределениях значений пропозициональных переменных истинны, а при других -ложны.
Их называют обычно выполнимыми, имея в виду узкий смысл этого термина. В широком смысле выполнимыми — принимающими значение «истина» при каких-нибудь значениях переменных — являются и тождественно-истинные формулы.
var
a: array [1..5] of integer;
i,k:integer;
Begin
Writeln('Перечислите элементы массива: ');For i:=1 to 5 do
read(a[i]);
For i:=1 to 5 do
If (a[i] > -1) then write(a[i]:2);
End.
2)
var
a: array [1..5] of integer;
i,k1,k2,max,min:integer;
Begin
min:=MaxInt;
max:=-MaxInt;
Writeln('Перечислите элементы массива: ');
For i:=1 to 5 do
begin
read(a[i]);
if (a[i] > max) then max:=a[i];
if (a[i] < min) then min:=a[i];
end;
For i:=1 to 5 do
begin
If (a[i] = max) then inc(k1);
If (a[i] = min) then inc(k2);
end;
If (k1>k2) then writeln('Больше max элементов')
else writeln('Больше min элементов');
End.
3)
var
a: array [1..5] of integer;
i,k,x:integer;
Begin
Write ('X = ');
read(x);
Writeln('Перечислите элементы массива: ');
For i:=1 to 5 do begin read(a[i]);
if (a[i] = x ) then inc(k);
end;
writeln('kol = ',k) ;
end.