Expresión ((¬z∧y)∨(z∧¬y))
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
$$\left(y \wedge \neg z\right) \vee \left(z \wedge \neg y\right)$$
Tabla de verdad
+---+---+--------+
| y | z | result |
+===+===+========+
| 0 | 0 | 0 |
+---+---+--------+
| 0 | 1 | 1 |
+---+---+--------+
| 1 | 0 | 1 |
+---+---+--------+
| 1 | 1 | 0 |
+---+---+--------+
$$\left(y \vee z\right) \wedge \left(\neg y \vee \neg z\right)$$
$$\left(y \wedge \neg z\right) \vee \left(z \wedge \neg y\right)$$
$$\left(y \vee z\right) \wedge \left(y \vee \neg y\right) \wedge \left(z \vee \neg z\right) \wedge \left(\neg y \vee \neg z\right)$$
(y∨z)∧(y∨(¬y))∧(z∨(¬z))∧((¬y)∨(¬z))
Ya está reducido a FND
$$\left(y \wedge \neg z\right) \vee \left(z \wedge \neg y\right)$$