Una expressió lògic que especifica un o més trastorns que programar sortides han de complir per tal que el programa que sigui correcte.