Expresión [(p∨q)∧(p∨¬q)∧(p∨r)]→[(p∨¬q)∧(¬p∨¬q)∧(¬q∨r)]
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
$$\left(p \vee q\right) \wedge \left(p \vee r\right) \wedge \left(p \vee \neg q\right) = p$$
$$\left(p \vee \neg q\right) \wedge \left(r \vee \neg q\right) \wedge \left(\neg p \vee \neg q\right) = \neg q$$
$$\left(\left(p \vee q\right) \wedge \left(p \vee r\right) \wedge \left(p \vee \neg q\right)\right) \Rightarrow \left(\left(p \vee \neg q\right) \wedge \left(r \vee \neg q\right) \wedge \left(\neg p \vee \neg q\right)\right) = \neg p \vee \neg q$$
Tabla de verdad
+---+---+---+--------+
| p | q | r | result |
+===+===+===+========+
| 0 | 0 | 0 | 1 |
+---+---+---+--------+
| 0 | 0 | 1 | 1 |
+---+---+---+--------+
| 0 | 1 | 0 | 1 |
+---+---+---+--------+
| 0 | 1 | 1 | 1 |
+---+---+---+--------+
| 1 | 0 | 0 | 1 |
+---+---+---+--------+
| 1 | 0 | 1 | 1 |
+---+---+---+--------+
| 1 | 1 | 0 | 0 |
+---+---+---+--------+
| 1 | 1 | 1 | 0 |
+---+---+---+--------+
Ya está reducido a FND
$$\neg p \vee \neg q$$
Ya está reducido a FNC
$$\neg p \vee \neg q$$