In der Programmierung ist eine bedingte Anweisung ein Programmabschnitt, der nur unter einer bestimmten Bedingung ausgeführt wird. Eine Verzweigung bestimmt, welcher von zwei (oder mehr) Programmabschnitten in Abhängigkeit von einer (oder mehreren) Bedingung ausgeführt wird.