In der Informatik sind bedingte Anweisungen, bedingte Ausdrücke und bedingte Konstrukte Merkmale einer Programmiersprache, die unterschiedliche Berechnungen oder Aktionen ausführen, je nachdem, ob eine vom Programmierer angegebene boolesche Bedingung als wahr oder falsch ausgewertet wird. Abgesehen vom Fall der Verzweigungsvorhersage wird dies immer erreicht, indem der Steuerfluss basierend auf einer bestimmten Bedingung selektiv geändert wird.