Знатокивыручайтебез вас ничего не получается

1.
Program Yolo;
Uses Crt;
Var x, count, amount, n: integer;
Begin 
ClrScr; 
Amount:=0; Count:=0; 
Writeln('Введите кол-во чисел необходимых ввести.'); 
Readln(n); 
While Amount<n do 
 Begin   
  Inc(Amount);   
  Writeln('Введите число.');   
  Readln(x);   
  If (x<=100) and (x mod 5=0) then
    Inc(Count);
 End;
ClrScr;
If Count>0 then Writeln('Количество чисел, кратных 5 и не больших 100: ', Count)
  Else Writeln('Среди введёных чисел не было кратных 5 и не больших 100.');
 Readln;
End.

2.
Program Yolo;
Uses Crt;
Const N=10;
Var Mass: Array [1..N] of integer;
      i, SummPosit, AmountNegat: byte;
 Begin
 ClrScr;
 SummPosit:=0;
 AmountNegat:=0;
 Writeln('Массив чисел из диапозона [-50; 50]: ');
 For i:=1 to N do
  Begin
   Mass[i]:=Random(101)-50;
   Write(Mass[i], ' ');
   If Mass[i]>0 then Inc(SummPosit, Mass[i])
    Else If Mass[i]<0 then Inc(AmountNegat);
  End; Writeln; If SummPosit>0 then
 Writeln('Сумма положительных элементов массива: ', SummPosit)
  Else Writeln('В массиве нету положительных элементов.');
 If AmountNegat>0 then
 Writeln('Количество отрицательных элементов массива: ', AmountNegat)   Else Writeln('В массиве нету отрицательных элементов.');
 Readln;End.

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

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

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