Es el caso del siguiente ejemplo, considerando que la declaración OR es evaluada en forma de giro corto: