Алгоритмическая структура (Разветвляющий алгоритм) – это алгоритм, в котором в зависимости от условия выполняется либо одна, либо другая последовательность действий.
Во многих случаях требуется, чтобы при одних условиях выполнялась одна последовательность действий, а при других - другая.
Ветвление обеспечивающая выполнение определённой команды (набора команд) только при условии истинности некоторого логического выражения, либо выполнение одной из нескольких команд (наборов команд) в зависимости от значения некоторого выражения.
F1 = ( ¬X ∨ Y ) ∧ ( ¬X ∨ ¬Y )
F2 = ( X ∨ Y ) ∧ ( ¬X ∨ Y )
Объяснение: