Примером разветвленного алгоритма является

program yravnenie;

var  a,b,c,d,x1,x2,p,q: real; begin  repeat  write('a= ');   readln(a);   if a=0 then writeln('error: a=0. enter another value');   until a< > 0;   write('b= ');   readln(b);   write('c= ');   readln(c);   p: =b/a;   q: =c/a;   d: =sqr(p/2)-q;   if d> 0 then  begin    writeln('x1 = ',-p/2-sqrt(d): 0: 5);     writeln('x2 = ',-p/2+sqrt(d): 0: 5);   end  else  if d=0 then  writeln('x1 = x2 = ',-p/2: 0: 5)  else  begin    writeln('x1 = ',-p/2: 0: 5,'-i*',sqrt(-d): 0: 5);     writeln('x2 = ',-p/2: 0: 5,'+i*',sqrt(-d): 0: 5);   end;   readln; end.

во - первых рассмотрим простые высказывания:

м - монитор неисправен

в - видеокарта неисправна

о - оперативная память неисправна

во вторых: запишем на языке логики возможные предположения: (m v b) --> o и m --> b

пусть  f(м,в,о) =  (m v b) --> o и m --> b

составляем таблицу истинности:

м     в     о     m --> b      

0       0     0         1

1       0     1         1

0       0     0         1

1       1     1         0

0       0     0         1

0       1     1         0

1       1     0         0

1       1     1         1

1       0     0         0

1       0     0         0

0       1     1         1

1       1     0         1

0       1     1           0

1       1     1           1

0       0     1           0

1       1     0           1

1       1     0           1

1       0     1           1                

анализ таблицы показывает, что сложное высказывание истинно во всех случаях, когда м – истинно, т.е. вероятнее всего  неисправен именно монитор.