Siguiente: Comparación de factores de Un nivel arriba: Incongruencias simultáneas Anterior: Incongruencias simultáneas

.

Comentario: 3SAT se transforma en este problema.