Определите способ записи представленного алгоритма "пополнить счет"

таблица истинности выражения a → b

а |  b | a → b

0  i  0 |      1

0  i  1 |      1

1  i  0 |      0

1  i  1 |      1

теперь пример: ¬((x> 3)  → (x> 4))

при х = 1: ¬((1> 3)  → (1> 4))= ¬((0)  → (0))=¬(1) = 0,т.е.(1> 3)=ложь(> 4)=ложь(0), а ложь(0) → ложь(0) = истина (1), а отрицание лжи (0) = истина(1)

при х = 2: ¬((2> 3)  → (2> 4))= ¬((0)  → (0))=¬(1) = 0

при х = 3: ¬((3> 3)  → (3> 4))= ¬((0)  → (0))=¬(1) = 0

при х = 4: ¬((4> 3)  → (4> 4))= ¬((1)  → (0))=¬(0) = 1

ответ. х=4.

var slovo,simval: string; i,k: integer; begin k: =0;   write('введите имя и фамилию '); readln(slovo); write('введите символ '); readln(simval); for i: =1 to length(slovo) do begin if slovo[i]=simval then k: =k+1; if slovo[i]=simval then writeln(i,' '); end; if k> =1 then  writeln('да, встречается ',k,' раз, на позиции ',i)else writeln('нет'); end.

я немножко перевыполнил) от показывает есть симаол или нет, если есть то сколько раз он входит и на какой  

пример программы для паскаль

program a;

const n = 50; vari: byte; b: array[1..n] of word; procedure proc(a: array of word); beginfor i: =1 to n doif((129 < = a[i]) and (a[i] < = 160)) or        ((161 < = a[i]) and (a[i] < =175)) or          ((225 < = a[i]) and (a[i] < = 242)) thenwriteln('index =  ',i+1,'; bukva -  ''',char(a[i]),'''','    a[i] =  ',a[i]); end;

beginwriteln; for i: =1 to n do              b[i] : = random(300); for i: =1 to n do begin                  write(' ',i,'  =  ',b[i]); if (i mod 5 = 0) then writeln; end; writeln; writeln; proc(b);           readln;

end.

налить в 9-литровое 9 литров

отлить 2 раза по 4 л. останется 1 л его вылить в 4х литровое

налить полное 9-литровое ведро и отлить из него в 4х литровое в котором уже есть 1 литр туда войдет 3 литра в 9-литровом останется 6 литров