Az elágazások teszik lehetővé, hogy a program változói értékétől függően különböző tevékenységeket hajtson végre. Az első típusnál vagy csinálunk valamit vagy nem, a másodiknál két tevékenység közül választhatunk, a harmadiknál és a negyediknél sok lehetőség közül fut le legfeljebb egy.

Az elágazások feltétele egy logikai kifejezés, ami az összehasonlító operátorok (relációs jelek) és logikai műveletek illetve függvények használatával képezhető.

A feltétel teljesülése esetén végrehajtandó utasítás helyére mindig írható utasítás-blokk, vagyis több utasítás - megfelelően "zárójelezett" - sorozata.