Построить таблицу истины для формул:

1. a& 1(bv1a)& (avb)

2. a=> (1bc< => c& 1a)vb

3. (avb)& 1(a& c)& 1b

4. (a=> b)& (a=> c)& (av1c)

5. (avbv1c)& (avc)& (1b=> c)

6. a=> 1(a& bvc)vb& 1c

7. av1a& b& cv1a& 1b& 1c

Begin

    writeln('¶¶¶¶¶¶¶¶¶¶1');

    writeln('¶¶¶¶¶¶¶¶¶¶¶¶1');

    writeln('¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶');

    writeln('¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶');

    writeln('¶¶__¶¶¶__¶¶¶¶_¶¶¶¶¶¶¶¶');

    writeln('¶¶_¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶¶¶¶¶1');

    writeln('¶_¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶1');

    writeln('¶_¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶1');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶1');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶__¶¶¶¶¶_¶¶¶¶¶');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶¶¶¶¶1');

    writeln('¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶');

    writeln('_¶¶1¶¶¶¶_¶¶¶¶¶¶¶¶¶¶1');

    writeln('_¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶1');

    writeln('__¶¶_¶¶¶¶¶¶_¶¶¶¶');

    writeln('__¶¶¶__¶¶¶¶¶¶_¶¶¶');

    writeln('__¶¶¶___¶__¶¶¶¶¶_¶¶¶¶');

    writeln('___¶¶¶¶¶_¶_¶¶¶¶¶¶_¶¶¶¶');

    writeln('___¶¶_¶¶¶¶¶1¶¶¶¶¶¶¶¶¶¶1');

    writeln('__¶__¶¶¶¶¶¶¶¶1¶¶¶¶¶¶¶¶¶¶¶1');

    writeln('_¶¶_¶¶¶¶_¶¶¶¶¶¶¶1¶¶¶¶¶_¶¶¶¶¶');

    writeln('_¶¶_0__0_¶¶¶¶¶¶¶¶¶¶¶¶1__¶¶¶¶__¶¶¶1');

    writeln('_¶¶_¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶¶1__¶¶¶¶_¶¶¶¶1');

    writeln('_¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶_¶¶¶1');

    writeln('__¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶_¶¶¶¶¶_¶¶¶1');

    writeln('___¶¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶__¶¶¶¶_¶¶¶¶1');

    writeln('¶¶¶_¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶__¶¶¶¶¶_¶¶¶1');

    writeln('¶¶¶¶¶¶___¶¶¶¶¶¶_¶¶¶¶¶¶__¶¶¶¶_¶¶¶1');

    writeln('¶_¶¶¶¶¶¶¶¶¶_¶¶¶¶¶_¶¶¶¶¶¶__¶¶¶¶_¶¶¶1');

    writeln('___1¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶__¶¶¶¶_¶¶¶1');

    writeln('__1¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶__¶¶¶¶_¶¶¶1');

    writeln('__1¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶__¶¶¶¶_¶¶¶1');

    writeln('__1¶¶¶¶¶_¶¶¶¶_¶¶¶¶__¶¶¶¶¶¶¶¶¶¶_¶¶¶_¶¶¶1');

    writeln('___1¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶¶¶¶_¶¶_¶¶_¶¶¶¶1');

    writeln('¶_¶¶¶¶¶_¶¶¶¶¶¶¶_¶¶¶¶¶¶¶_¶_¶¶_¶¶¶1');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶_¶¶¶¶¶¶_¶_¶¶_¶¶1');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶_¶¶_¶¶¶¶1');

    writeln('¶¶¶¶_¶¶¶¶¶¶¶¶¶¶¶¶_¶¶1');

    writeln('___¶¶¶¶¶¶¶¶¶¶¶¶¶¶¶¶___¶¶¶___¶¶¶¶¶');

    writeln('__¶¶¶¶¶¶¶¶¶¶¶¶¶¶_¶¶¶¶¶¶¶¶');

    writeln('_¶¶¶¶¶¶¶¶¶¶¶¶¶');

    writeln('_¶___¶¶¶¶_¶¶¶¶');

    writeln('¶___¶¶¶¶_¶¶¶¶¶¶¶');

    writeln('¶¶¶¶_¶¶¶¶¶1¶¶');

    writeln('¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶¶');

    writeln('¶¶¶¶_¶¶¶¶¶¶¶¶¶¶_¶¶');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶¶');

    writeln('¶¶¶¶¶_¶¶¶¶¶¶¶¶¶¶_¶¶');

    writeln('¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶¶');

    writeln('¶¶¶¶_¶¶¶¶¶¶¶¶¶_¶');

    writeln('¶¶¶¶¶¶¶¶¶¶_¶');

    writeln('¶¶¶1¶¶¶¶¶');

    writeln('¶¶1¶¶');

    writeln('¶¶');

    writeln('¶¶');

end.

Подробнее - на -

Объяснение:

var

 x, a, b:integer;

 ras_x_a, ras_x_b, ras_a_b:integer;

 ras_min:integer;

begin

 x:=5;

 a:=1;

 b:=8;

 ras_x_a:=abs(x-a);

 ras_x_b:=abs(x-b);

 ras_a_b:=abs(a-b);

 if ((ras_x_a <=ras_x_b) and (ras_x_a <=ras_a_b)) then

   ras_min:=ras_x_a

 else

   if ((ras_x_b <=ras_x_a) and (ras_x_b <=ras_a_b)) then

   ras_min:=ras_x_b

   else

     if ((ras_a_b <=ras_x_a) and (ras_a_b <=ras_x_b)) then

     ras_min:=ras_a_b;

 writeln(ras_min);

end.