На шоссе расположены пункты K и R, удалённые друг от друга на 30 км. Мотоциклист выехал из пункта R в направлении, противоположном K, со скоростью 51 км/ч.
Составь математическую модель, описывающую положение мотоциклиста относительно пункта K через t часов.

Var
a,b,c,p,s:real;
m:integer;
begin
 repeat
   writeln('a,b,c &'); 
   readln(a,b,c); {Вводим стороны до тех пор пока не выполнится условие сущ треуг}
 until (a<b+c)and(b<a+c)and(c<a+b);
   writeln('площадь - введите 1 или периметр -2 ?');
{выбираем что считать, если площадь, то вводим 1, периметр - 2}
readln(m); 
   case m of   
     1:
        begin
            p:=(a+b+c)/2;
            writeln('S = ',sqrt(p*(p-a)*(p-b)*(p-c))); {вывод площади}
        end;
      2:writeln(a+b+c); {вывод периметра}
     end;
end.
     программа 2 Нахождение суммы элементов одномерного массива
const
n=10;
Var
a:array[1..n]of integer;
i,s:integer;
begin
   for i:=1 to n do
         begin
              a[i]:=random(100); {заполнение массива случайными числами [0.100)}
              write(a[i]:4); {выводим на экран массив}
              s:=s+a[i];   {считаем сумму}
         end;
writeln;
writeln('S= ',s); {выводим сумму}
end.

Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:

Для этого выражения и построим таблицу истинности.

2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается  теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.