Se presenta un método novedoso para mejorar el proceso de formulación del sistema de ecuaciones que describen el comportamiento de un circuito electrónico aplicando análisis simbólico. El comportamiento de los circuitos electrónicos se modela utilizando anuladores (nullors), lo que permite representar sus relaciones de interconexión usando estructuras de datos simples. De esta forma, se demuestra que el sistema de ecuaciones compacto puede calcularse al evaluar el producto cartesiano de las relaciones de interconexión asociadas a los elementos terminal nulo (nullator) y terminal libre (norator). Utilizando esta técnica de formulación se minimiza la complejidad computacional durante la manipulación de expresiones simbólicas. El sistema de ecuaciones compacto se formula llenando directamente una matriz de admitancia cuyo orden, es igual al número de nodos menos el número de nullors. Se concluye que las expresiones simbólicas calculadas, son útiles para procedimientos de síntesis y optimización de un diseño electrónico