Se presenta un metodo novedoso para mejorar el proceso de formulacion del sistema de ecuaciones que describen el comportamiento de un circuito electronico aplicando analisis simbolico. El comportamiento de los circuitos electronicos se modela utilizando anuladores (nullors), lo que permite representar sus relaciones de interconexion 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 interconexion asociadas a los elementos terminal nulo (nullator) y terminal libre (norator). Utilizando esta tecnica de formulacion se minimiza la complejidad computacional durante la manipulacion de expresiones simbolicas. El sistema de ecuaciones compacto se formula llenando directamente una matriz de admitancia cuyo orden, es igual al numero de nodos menos el numero de nullors. Se concluye que las expresiones simbolicas calculadas, son utiles para procedimientos de sintesis y optimizacion de un diseno electronico