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
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 de SOP, pero no tiene tiempo para demostrarlo, ya que las finales comienzan esta semana.
Quiero confiar en mi profesor en esto, pero no veo cómo se puede reducir 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?