Sr Examen

Expresión false&&false&&True

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

    Solución

    Ha introducido [src]
    a∧e∧f∧l∧r∧s∧t∧u
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    Simplificación [src]
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    a∧e∧f∧l∧r∧s∧t∧u
    Tabla de verdad
    +---+---+---+---+---+---+---+---+--------+
    | a | e | f | l | r | s | t | u | result |
    +===+===+===+===+===+===+===+===+========+
    | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0      |
    +---+---+---+---+---+---+---+---+--------+
    | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1      |
    +---+---+---+---+---+---+---+---+--------+
    FNCD [src]
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    a∧e∧f∧l∧r∧s∧t∧u
    FNC [src]
    Ya está reducido a FNC
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    a∧e∧f∧l∧r∧s∧t∧u
    FNDP [src]
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    a∧e∧f∧l∧r∧s∧t∧u
    FND [src]
    Ya está reducido a FND
    $$a \wedge e \wedge f \wedge l \wedge r \wedge s \wedge t \wedge u$$
    a∧e∧f∧l∧r∧s∧t∧u