Конспект лекций по программированию для начинающих. Гладков В.П. - 69 стр.

                                         71

           a>c      1       0       0
           b>c      -       1       0
                    a       c       b
   Анализируя часть таблицы, попавшую в ветку { 1 }, выясняем, что проверка
условия a>c вновь разбивает эту ветку на две, причем в случае невыполнения
условия больше проверок не нужно, т.к. ответ получается сразу. Точно так же
разбивается ветка { 2 }. В результате получаем:
   if a>b
   then     if a>c
            then { 11 }
              b>c       1       0
                        b       c
            else n:=a           { 12 }
   else     if a>c
            then n:=a           { 21 }
            else { 22 }
                b>c 1           0
                      c         b

   Ветки { 1 } и { 2 } разбились на две, образовав четыре новых ветки, причем
ветки { 11 } и { 22 } еще содержат часть таблицы, которую нужно заменить
условным оператором. В результате окончательно получаем:
   if a>b
   then     if a>c
            then if b>c
                   then n:=b
                   else n:=c
            else n:=a
   else     if a>c
            then n:=a
            else if b>c
                   then n:=c
                   else n:=b.
   Упражнения:
   1. Сколько веток в последнем фрагменте программы?
   2. Постройте тесты для каждой ветки.
   3. Запишите фрагмент программы для присвоения переменной m1
минимального, переменной m2 среднего, переменной m3 максимального из
трех целых чисел. Попробуйте найти несколько решений данной задачи.