Эта тема в школьной информатике и математике (у некоторых она там) одна из самых "мутных", как мне кажется. Всё же, есть в омуте и добрые черти. Давайте немного поразбираемся во всём этом.
Классические алгоритмы
А таковых нет. Для нас пока нет. Есть таблицы истинности, законы алгебры логики, и многое другое.
А почему так?
Дело, как мне видится, в бесконечности вариантов, о которой я писал ранее. Алгебра логики, что приятно, относится не к обычной математике, а к дискретной, более того, в ней очень мало чисел. Конкретно 2 числа -"1" и "0". "Истина" и "Ложь", если хотите, "True" и "False". (Мне как-то приятнее с числами работать. ) Это говорит о том, что бесконечности у нас не будет, а будет огромное, но вполне конечное и осознаваемое количество путей.