Tengo el siguiente diagrama de bloques,
Tengo problemas para construir marcas de función de estructura para este diagrama de bloques. Lo que me preocupa es que el estado O del estado 5 al estado 2 y el estado 6. Pensé que esto se puede escribir como
P (1) Y P (5) O (P (2) Y P (6)) Y P (3) Y P (4)
pero no puedo evaluarlo, me pierdo de aquí ... Pensé primero en resolver en corchetes, es decir, P (2) Y P (6) - > P (2) P (6) Pero lo que me preocupa ahora, ¿es lo que primero debo evaluar, OR o declarar a medida que avanza el flujo?