nosotros aun lo hacemos a mano... ¬¬... si te dan weba los mapas, por que no lo haces con quine-mccluskey es un poco mas eficiente en ciertos casos, cuando tienes muchas variables, etc, checate la wiki :p http://es.wikipedia.org/wiki/Algoritmo_Quine%E2%80%93McCluskey