Это такая структура организации действий в алгоритме, когда в зависимости от выполнения или невыполнения некоторого условия выполняется либо одна, либо другая последовательность действий.
Имеется две формы ветвлений – полная, имеющая две ветви и неполная, имеющая одну ветвь. В каждой из них указывается условие, которое надо проверять, и наборы действий, которые надо исполнять при выполнении или невыполнении условия. Ясно, что проверка условия должна быть допустимым действием исполнителя.