Sr Examen
Lógica matemática/ ¬x1x2x3∨x1¬x2x3∨x1x2x3

Expresión ¬x1x2x3∨x1¬x2x3∨x1x2x3

El profesor se sorprenderá mucho al ver tu solución correcta😉

⌨

    Solución

    Ha introducido [src] 
    (x1∧x2∧x3)∨(x1∧x3∧(¬x2))∨(x2∧x3∧(¬x1))
    $$\left(x_{1} \wedge x_{2} \wedge x_{3}\right) \vee \left(x_{1} \wedge x_{3} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge x_{3} \wedge \neg x_{1}\right)$$
    Solución detallada
    $$\left(x_{1} \wedge x_{2} \wedge x_{3}\right) \vee \left(x_{1} \wedge x_{3} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge x_{3} \wedge \neg x_{1}\right) = x_{3} \wedge \left(x_{1} \vee x_{2}\right)$$
    Simplificación [src]
    $$x_{3} \wedge \left(x_{1} \vee x_{2}\right)$$ 
    x3∧(x1∨x2)
    Tabla de verdad 
    +----+----+----+--------+
| x1 | x2 | x3 | result |
+====+====+====+========+
| 0  | 0  | 0  | 0      |
+----+----+----+--------+
| 0  | 0  | 1  | 0      |
+----+----+----+--------+
| 0  | 1  | 0  | 0      |
+----+----+----+--------+
| 0  | 1  | 1  | 1      |
+----+----+----+--------+
| 1  | 0  | 0  | 0      |
+----+----+----+--------+
| 1  | 0  | 1  | 1      |
+----+----+----+--------+
| 1  | 1  | 0  | 0      |
+----+----+----+--------+
| 1  | 1  | 1  | 1      |
+----+----+----+--------+
    FNC [src]
    Ya está reducido a FNC
    $$x_{3} \wedge \left(x_{1} \vee x_{2}\right)$$ 
    x3∧(x1∨x2)
    FNDP [src]
    $$\left(x_{1} \wedge x_{3}\right) \vee \left(x_{2} \wedge x_{3}\right)$$ 
    (x1∧x3)∨(x2∧x3)
    FND [src]
    $$\left(x_{1} \wedge x_{3}\right) \vee \left(x_{2} \wedge x_{3}\right)$$ 
    (x1∧x3)∨(x2∧x3)
    FNCD [src]
    $$x_{3} \wedge \left(x_{1} \vee x_{2}\right)$$ 
    x3∧(x1∨x2)
    © Sr Examen – Калькулятор