С таблицы истинности докажите что из а следует б = из не б следует не а

Алгоритм может быть, например, таким. Если нужно вывести нулевое число Фибоначчи, выведем 1, иначе будем считать. Сохраним в переменную номер текущего числа Фибоначчи (изначально 1) и значения текущего и предыдущего элементов (в начале 1 и 1), затем в цикле будем пересчитывать значения элементов, увеличивая номер текущего элемента. Когда номер элемента совпадёт с нужным, выведем ответ.

Реализация (python 3):
n = int(input())
if n == 0:
    print(1)
else:
    prev, curr = 1, 1
    i = 1
    while i < n:
        curr, prev = prev + curr, curr
        i += 1
    print(curr)

Запустив программу, можно узнать, что f10 = 89, f25 = 121393, а f40 = 165580141

1) var A: array [1..2] of real;

          B: array [1..20] of real;

          i:integer;

          c:boolean;

 begin

  c:=false;

  readln(a[1],a[2]);

  for i:=1 to 20 do begin

                           readln(b[i]);

                           if (b[i]=a[1]) then begin writeln('A[1]=B[',i,']=',b[i]);c:=true; end;

                           if (b[i]=a[2]) then begin writeln('A[2]=B[',i,']=',b[i]);c:=true; end;

                           end;

  if c=false then writeln('Совпадений не найдено');

end.

2) var a:array[1..10] of real;

    npol,notr,i: integer;

   begin

    npol:=0;

    notr:=0;

    for i:=1 to 10 do begin

                             readln(a[i]);

                             if a[i]>0 then npol:=npol+1;

                             if a[i]<0 then notr:=notr+1;

                             end;

   writeln('Количество положительных значений: ',npol,', количество отрицательных значений: ',notr);

end.