No conozco ningún programa que lo haga, pero si quieres resolver más fácilmente, a partir de 5 variables existe otro método, no menos largo, que es el que usan los programas informáticos (generalmente) para resolver las tablas. Se trata del método de Quine McCluskey.

Hay un montón de información por internet sobre ello, creo que incluso anda por ahí un PDF multicolor con flechitas y dibujitos muy didáctico. Puedes googlear un poco, te saldrá mucha información a la primera.

CLARO QUE EXISTE TAL PROGRAMA  LO ENCONTRE EN UNOS DE MIS PROGRAMAS  DE ELECTRONICA  POR FAVOR APUNTA TU CORREO Y TE LO ENVIO Y SE NECESITAS ALGO MAS TENGO MUCHAS COSAS INTERESANTES

Subidlo a un FTP y así lo probamos todos 

Ola:
Yo te aconsejo el boole deusto, pero tiene algun problemilla, tambien son igual de buenos los siguientes:
    - El Karma, muy facilito y sencillo de utilizar, sobre java,   http://karma.turincon.com/
   - Colección de ferramentas para a simulación de circuitos electrónicos http://www.cs.berkeley.edu/~lazzaro/chipmunk/

Informacion sacada de la web de la Fac. de Informática de A Coruña www.fic.udc.es


http://www.fic.udc.es/HarvestExternalData.do?operation=subjects.subjectExtraDetails&id=92&returnAction=subjectsByCourse&returnParameters=degree=ETIX-syllabus=11-course=1

por favor alguien me pueda enviar el codigo para resolver mapas de karnaugh... por favor ayuda... gracias por anticipado .... en verdad lo necesito