Sr Examen

Expresión x1(x2∨x3∨x6)(x3∨x6)(x4∨x3∨x5)(x5∨x1∨x2)(x6∨x4)

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

    Solución

    Ha introducido [src]
    x1∧(x3∨x6)∧(x4∨x6)∧(x1∨x2∨x5)∧(x2∨x3∨x6)∧(x3∨x4∨x5)
    $$x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{1} \vee x_{2} \vee x_{5}\right) \wedge \left(x_{2} \vee x_{3} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right)$$
    Solución detallada
    $$x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{1} \vee x_{2} \vee x_{5}\right) \wedge \left(x_{2} \vee x_{3} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right) = x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right)$$
    Simplificación [src]
    $$x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right)$$
    x1∧(x3∨x6)∧(x4∨x6)∧(x3∨x4∨x5)
    Tabla de verdad
    +----+----+----+----+----+----+--------+
    | x1 | x2 | x3 | x4 | x5 | x6 | result |
    +====+====+====+====+====+====+========+
    | 0  | 0  | 0  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 0  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 1  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 0  | 1  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 0  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 1  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 0  | 1  | 1  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 0  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 1  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 0  | 1  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 0  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 1  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 0  | 1  | 1  | 1  | 1  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 0  | 1  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 1  | 0  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 0  | 1  | 1  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 1  | 0  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 1  | 0  | 0  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 0  | 1  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 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  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 0  | 0  | 1  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 0  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 0  | 1  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 1  | 0  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 1  | 0  | 1  | 1      |
    +----+----+----+----+----+----+--------+
    | 1  | 1  | 0  | 1  | 1  | 0  | 0      |
    +----+----+----+----+----+----+--------+
    | 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  | 0      |
    +----+----+----+----+----+----+--------+
    | 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]
    $$\left(x_{1} \wedge x_{3} \wedge x_{4}\right) \vee \left(x_{1} \wedge x_{3} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{4} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{5} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{3} \wedge x_{4} \wedge x_{5}\right) \vee \left(x_{1} \wedge x_{3} \wedge x_{4} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{3} \wedge x_{5} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{4} \wedge x_{5} \wedge x_{6}\right)$$
    (x1∧x3∧x4)∨(x1∧x3∧x6)∨(x1∧x4∧x6)∨(x1∧x5∧x6)∨(x1∧x3∧x4∧x5)∨(x1∧x3∧x4∧x6)∨(x1∧x3∧x5∧x6)∨(x1∧x4∧x5∧x6)
    FNC [src]
    Ya está reducido a FNC
    $$x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right)$$
    x1∧(x3∨x6)∧(x4∨x6)∧(x3∨x4∨x5)
    FNCD [src]
    $$x_{1} \wedge \left(x_{3} \vee x_{6}\right) \wedge \left(x_{4} \vee x_{6}\right) \wedge \left(x_{3} \vee x_{4} \vee x_{5}\right)$$
    x1∧(x3∨x6)∧(x4∨x6)∧(x3∨x4∨x5)
    FNDP [src]
    $$\left(x_{1} \wedge x_{3} \wedge x_{4}\right) \vee \left(x_{1} \wedge x_{3} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{4} \wedge x_{6}\right) \vee \left(x_{1} \wedge x_{5} \wedge x_{6}\right)$$
    (x1∧x3∧x4)∨(x1∧x3∧x6)∨(x1∧x4∧x6)∨(x1∧x5∧x6)