Circuitos digitales en Proteus

[RaDoN]

Quería saber si con proteus hay alguna forma de trabajar con circuitos digitales, me refiero en concreto con puertas lógicas, y a trabajar, a desarrollar tablas de verdad, funciones, esquemas, simplificaciones con mapas de Karnaugh e implementacion de funciones con puertas NAND y NOR de 2 entradas por ejemplo.

Por que no es plan de ir escribiendo a mano las tablas de verdad ...

[vszener]

No se si en PROTEUS se puede pero aqui tienes un buen simulador de electronica digital que contempla las simplificaciones del mapa-K ye s capaz de trabajar tanto en circuitos combinacionales como secuenciales....aqui el enlace:
http://paginaspersonales.deusto.es/zubia/

[RaDoN]

Aja, gracias por enlace. Si con el proteus no se puede (que creo que deberia de poder hacerlo al menos), tengo claro que el Mulsim 2001 lo hace, lo tengo pero no lo usé nunca para estas labores (lo suelo usar para analógica), así que cualquier indicación se agradece

[RaDoN]

Esta genial el programita!! muy sencillote, solo le vi una pega, aunque queriendo quieras un circuito con una EXOR o una NEXOR, este programa parece que no trabaja con ellas y las descompones (por ejemplo A´B+AB´ y las implementaciones con NAND y NOR no se le puede obligar a que lo haga con puertas de X entradas, sino que usa la "natural".

Aunque me ha gustado mucho, aver si alguno lo consigue con proteus o Multisim 2001