Windows 10
Mac OS Sierra
Linux
var
a : integer;
begin
readln (a);
if a > 0 then
a := a +1;
if a <0 then
a := a-2
if a= 0 then
a := 10;
writeln (a);
end.
=> - это, видимо, операция "импликация"
Таблица истинности для нее:
a b a=>b
0 0 1
0 1 1
1 0 0
1 1 1
Теперь рассмотрим выражение: A=>(B=>A)
A B B=>A <span>A=>(B=>A)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1</span>
Вот решение я приложил в файле и на картинке