Eine Oder-Verzweigung ist eine Grundform einer Folgebeziehung und wird durch Bedingungen hergestellt, die zwei oder mehr Verzweigungen haben können. Es werden zwei Unterfälle unterschieden: Beim Exclusiv-Oder schließt ein Ereignis das andere aus. Beim Inklusiv-Oder wird geprüft, ob mindestens eine von mehreren alternativ möglichen Bedingungen vorliegt.