:напишите программу, которая производит обмен значений переменных x и y, если x больше у.

таблица истинности выражения 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 s : string; k,f : longint; begin  readln(s);   val(s[1],k,f);   if f< > 0 then writeln('некоректно введена строка')   else if length(s)-1=k then writeln('равно')            else writeln('неравно'); end.