Expresión f(x1,x2,x3)=x1*x2∨x3>x1*x3
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
$$\left(x_{3} \vee \left(x_{1} \wedge x_{2}\right)\right) \Rightarrow \left(x_{1} \wedge x_{3}\right) = \left(x_{1} \wedge x_{3}\right) \vee \left(\neg x_{1} \wedge \neg x_{3}\right) \vee \left(\neg x_{2} \wedge \neg x_{3}\right)$$
$$\left(x_{1} \wedge x_{3}\right) \vee \left(\neg x_{1} \wedge \neg x_{3}\right) \vee \left(\neg x_{2} \wedge \neg x_{3}\right)$$
(x1∧x3)∨((¬x1)∧(¬x3))∨((¬x2)∧(¬x3))
Tabla de verdad
+----+----+----+--------+
| x1 | x2 | x3 | result |
+====+====+====+========+
| 0 | 0 | 0 | 1 |
+----+----+----+--------+
| 0 | 0 | 1 | 0 |
+----+----+----+--------+
| 0 | 1 | 0 | 1 |
+----+----+----+--------+
| 0 | 1 | 1 | 0 |
+----+----+----+--------+
| 1 | 0 | 0 | 1 |
+----+----+----+--------+
| 1 | 0 | 1 | 1 |
+----+----+----+--------+
| 1 | 1 | 0 | 0 |
+----+----+----+--------+
| 1 | 1 | 1 | 1 |
+----+----+----+--------+
$$\left(x_{1} \vee \neg x_{3}\right) \wedge \left(x_{3} \vee \neg x_{3}\right) \wedge \left(x_{1} \vee \neg x_{1} \vee \neg x_{2}\right) \wedge \left(x_{1} \vee \neg x_{1} \vee \neg x_{3}\right) \wedge \left(x_{1} \vee \neg x_{2} \vee \neg x_{3}\right) \wedge \left(x_{3} \vee \neg x_{1} \vee \neg x_{2}\right) \wedge \left(x_{3} \vee \neg x_{1} \vee \neg x_{3}\right) \wedge \left(x_{3} \vee \neg x_{2} \vee \neg x_{3}\right)$$
(x1∨(¬x3))∧(x3∨(¬x3))∧(x1∨(¬x1)∨(¬x2))∧(x1∨(¬x1)∨(¬x3))∧(x1∨(¬x2)∨(¬x3))∧(x3∨(¬x1)∨(¬x2))∧(x3∨(¬x1)∨(¬x3))∧(x3∨(¬x2)∨(¬x3))
$$\left(x_{1} \wedge x_{3}\right) \vee \left(\neg x_{1} \wedge \neg x_{3}\right) \vee \left(\neg x_{2} \wedge \neg x_{3}\right)$$
(x1∧x3)∨((¬x1)∧(¬x3))∨((¬x2)∧(¬x3))
Ya está reducido a FND
$$\left(x_{1} \wedge x_{3}\right) \vee \left(\neg x_{1} \wedge \neg x_{3}\right) \vee \left(\neg x_{2} \wedge \neg x_{3}\right)$$
(x1∧x3)∨((¬x1)∧(¬x3))∨((¬x2)∧(¬x3))
$$\left(x_{1} \vee \neg x_{3}\right) \wedge \left(x_{3} \vee \neg x_{1} \vee \neg x_{2}\right)$$
(x1∨(¬x3))∧(x3∨(¬x1)∨(¬x2))