boolean logic - simplificacion - ¿Algún buen simplificador de expresiones booleanas?

java - simplificar - producto de sumas karnaugh - edu.lat

java - simplificador - ¿Cómo agrupa los elementos en una Lista<P> a un Mapa<K, Lista<V&g