Verzweigungen bilden mit den Schleifen in Programmiersprachen die Kontrollstrukturen.

Aufgrund einer Bedingung wird der Programmfluss (die Abfolge der Ausführung der Befehle) verzweigt.

Es gibt die einfache bedingte Verzweigung die den Programmfluss in zwei Pfade auftrennt und eine mehrfache Verzweigung.

Realisiert ist dies in Programmiersprachen meist mehr oder weniger wie folgt

IF <bedingung>
THEN
   <Aktionsfolge>
ELSE
   <AlternativeAktionsfolge>
ENDIF

Die mehrfache Verzweigung mit

CASE <aVariable>
aValue1:  <AktionsfolgeA>
aValue2:  <AktionsfolgeB>
...
OTHERWISE: <Aktionsfolge>
END

Beispiele

Steuerberechnung in einem fiktiven Land

In Pascal

program Steuer;
uses
 CRT;                         (* ReadKey-Funktion *)
var
  Einkommen: Double;          (* Zu verst. Einkommen *)
  Steuer   : LongInt;         (* Zu bezahlende Steuer *)
  Splitting: Boolean;         (* Familienstand *)
begin
  writeln('Ihr Einkommen: '); (* Eingabe des Einkommens *)
  readln (Einkommen);
  write  ('Splittingtarif [J/ ] ');
  Splitting := UpCase(ReadKey) = 'J';
  if Splitting                 (* einseitige Auswahl *)
    then Einkommen := Einkommen / 2);
  if (Einkommen < 5000 )       (* zweiseitige Auswahl *)
    then Steuer := 0
    else if Einkommen < 10000  (* zweiseitige Auswahl *)
           then Steuer := (Einkommen - 3000) * 0.3
           else Steuer := (Einkommen - 7000) * 0.5;
  if Splitting                 (* einseitige Auswahl *)
    then Steuer := Steuer * 2);
  writeln('Ihre Steuer betraegt ', Steuer:10:2, ' Euro')
end.

Der Hauptartikel Kontrollstruktur enthält weitere Angaben.]