Expresión {{pv[s^(¬pvs)]}^(pvs)}^[p^(svr)]
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
$$s \wedge \left(s \vee \neg p\right) = s$$
$$p \vee \left(s \wedge \left(s \vee \neg p\right)\right) = p \vee s$$
$$p \wedge \left(p \vee s\right) \wedge \left(p \vee \left(s \wedge \left(s \vee \neg p\right)\right)\right) \wedge \left(r \vee s\right) = p \wedge \left(r \vee s\right)$$
$$p \wedge \left(r \vee s\right)$$
Tabla de verdad
+---+---+---+--------+
| p | r | s | result |
+===+===+===+========+
| 0 | 0 | 0 | 0 |
+---+---+---+--------+
| 0 | 0 | 1 | 0 |
+---+---+---+--------+
| 0 | 1 | 0 | 0 |
+---+---+---+--------+
| 0 | 1 | 1 | 0 |
+---+---+---+--------+
| 1 | 0 | 0 | 0 |
+---+---+---+--------+
| 1 | 0 | 1 | 1 |
+---+---+---+--------+
| 1 | 1 | 0 | 1 |
+---+---+---+--------+
| 1 | 1 | 1 | 1 |
+---+---+---+--------+
$$p \wedge \left(r \vee s\right)$$
Ya está reducido a FNC
$$p \wedge \left(r \vee s\right)$$
$$\left(p \wedge r\right) \vee \left(p \wedge s\right)$$
$$\left(p \wedge r\right) \vee \left(p \wedge s\right)$$