Simplificación del gráfico de Karnaugh

Tengo la siguiente tabla de verdad:

F(w,x,y,z) = Σ(0,2,5,7,8,10,12,13,14);

    Truth Table
    W   X   Y   Z   F
0   0   0   0   0   1
1   0   0   0   1   0
2   0   0   1   0   1
3   0   0   1   1   0
4   0   1   0   0   0
5   0   1   0   1   1
6   0   1   1   0   0
7   0   1   1   1   1
8   1   0   0   0   1
9   1   0   0   1   0
10  1   0   1   0   1
11  1   0   1   1   0
12  1   1   0   0   1
13  1   1   0   1   1
14  1   1   1   0   1
15  1   1   1   1   0

Con el siguiente Mapa de Karnaugh

  W  X
Y
Z

KMapa

Puedo reducir esto al siguiente SOP

 ~x~z + w~z + x~yz + ~wxy

Mi profesor me dijo explícitamente que esta función se puede reducir a 2 términos SOP, pero no tiene tiempo para demostrarlo ya que los exámenes finales comienzan esta semana.

Quiero confiar en mi profesor en esto, pero no veo cómo se puede reducir esto más de lo que es.

¿Cómo probar que esto se puede reducir a 2 términos o probar que no se puede reducir a menos de 4?

Respuestas (2)

No estoy seguro si hay un error tipográfico. Hay un pequeño error en su solución.

F = X ¯ z ¯ + w z ¯ + X y ¯ z + w ¯ X z

No es posible una reducción adicional. K-map proporciona la expresión SOP mínima.

Hay un solucionador de mapas de Karnaugh en línea aquí . Si ingresa sus datos allí en la página de cuatro variables de entrada , aparecen 4 términos de suma de productos y tres términos de producto de suma.

Obtiene el mismo resultado de esta página de minimización de lógica , que también imprime el Mapa de Karnaugh.

Si también se configuró 15, entonces podría tener dos términos de producto siempre que tuviera una salida baja activa. Recuerde que puede combinar términos envolviendo los extremos del mapa hasta el borde opuesto.