Sr Examen
Lógica matemática/ ¬X1v¬X2vX3&X4=1

Expresión ¬X1v¬X2vX3&X4=1

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

⌨

    Solución

    Ha introducido [src] 
    (¬x1)∨(¬x2)∨(x3∧x4)
    $$\left(x_{3} \wedge x_{4}\right) \vee \neg x_{1} \vee \neg x_{2}$$
    Simplificación [src]
    $$\left(x_{3} \wedge x_{4}\right) \vee \neg x_{1} \vee \neg x_{2}$$ 
    (¬x1)∨(¬x2)∨(x3∧x4)
    Tabla de verdad 
    +----+----+----+----+--------+
| x1 | x2 | x3 | x4 | result |
+====+====+====+====+========+
| 0  | 0  | 0  | 0  | 1      |
+----+----+----+----+--------+
| 0  | 0  | 0  | 1  | 1      |
+----+----+----+----+--------+
| 0  | 0  | 1  | 0  | 1      |
+----+----+----+----+--------+
| 0  | 0  | 1  | 1  | 1      |
+----+----+----+----+--------+
| 0  | 1  | 0  | 0  | 1      |
+----+----+----+----+--------+
| 0  | 1  | 0  | 1  | 1      |
+----+----+----+----+--------+
| 0  | 1  | 1  | 0  | 1      |
+----+----+----+----+--------+
| 0  | 1  | 1  | 1  | 1      |
+----+----+----+----+--------+
| 1  | 0  | 0  | 0  | 1      |
+----+----+----+----+--------+
| 1  | 0  | 0  | 1  | 1      |
+----+----+----+----+--------+
| 1  | 0  | 1  | 0  | 1      |
+----+----+----+----+--------+
| 1  | 0  | 1  | 1  | 1      |
+----+----+----+----+--------+
| 1  | 1  | 0  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 0  | 1  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 1  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 1  | 1  | 1      |
+----+----+----+----+--------+
    FNDP [src]
    $$\left(x_{3} \wedge x_{4}\right) \vee \neg x_{1} \vee \neg x_{2}$$ 
    (¬x1)∨(¬x2)∨(x3∧x4)
    FND [src]
    Ya está reducido a FND
    $$\left(x_{3} \wedge x_{4}\right) \vee \neg x_{1} \vee \neg x_{2}$$ 
    (¬x1)∨(¬x2)∨(x3∧x4)
    FNC [src]
    $$\left(x_{3} \vee \neg x_{1} \vee \neg x_{2}\right) \wedge \left(x_{4} \vee \neg x_{1} \vee \neg x_{2}\right)$$ 
    (x3∨(¬x1)∨(¬x2))∧(x4∨(¬x1)∨(¬x2))
    FNCD [src]
    $$\left(x_{3} \vee \neg x_{1} \vee \neg x_{2}\right) \wedge \left(x_{4} \vee \neg x_{1} \vee \neg x_{2}\right)$$ 
    (x3∨(¬x1)∨(¬x2))∧(x4∨(¬x1)∨(¬x2))
    © Sr Examen