Mejora en lógica de transformador

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.