Estaba pensando que en la parte del transformador cuando uno puede colocar etiquetas poder colocar negadores o realizar operaciones lógicas mas completas por decir
(A && B) || C
!A || B
(A && B) || (C && A) || (B && C)
y bueno ahí dependerá de que tan profundo se quiera hacer la lógica pero puede servir para excluir y también reducir la cantidad de transformaciones.
