Un análisis simbólico de circuitos de relés y conmutación | Synapse