Ein logischer Ausdruck, der eine oder mehrere Bedingungen, die Ausgänge Programmieren muss in Reihenfolge für das Programm korrekt zu sein erfüllen.