Startbedingung, UND-Verknüpfung