Рассмотри карту лабиринта соедини на графе соседних препятствий

program bapehbe;

var

    l, b, s : integer;

    o : real;

begin

    writeln (' skolko litrov varenya v tazy? ');

    readln (l);

    writeln (' kakaya emkost banok? ');

    readln (b);

    s: = l div b;

    o: = l mod b;

    writeln (' polnih banok_', s);

    writeln (' litrov ostaloc_', o: 2: 2);

    readln;

end. 

таблица истинности выражения 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.