Sr Examen

Expresión ¬(¬P⇒¬P)

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

    Solución

    Ha introducido [src]
    ¬((¬p)⇒(¬p))
    ¬p⇏¬p\neg p \not\Rightarrow \neg p
    Solución detallada
    ¬p¬p=1\neg p \Rightarrow \neg p = 1
    ¬p⇏¬p=False\neg p \not\Rightarrow \neg p = \text{False}
    Simplificación [src]
    0
    0
    Tabla de verdad
    +---+--------+
    | p | result |
    +===+========+
    | 0 | 0      |
    +---+--------+
    | 1 | 0      |
    +---+--------+
    FND [src]
    Ya está reducido a FND
    0
    0
    FNCD [src]
    0
    0
    FNC [src]
    Ya está reducido a FNC
    0
    0
    FNDP [src]
    0
    0