Sr Examen
Lógica matemática/ ¬X1v¬X2v¬X3vX4vX5vX6

Expresión ¬X1v¬X2v¬X3vX4vX5vX6

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

⌨

    Solución

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