Sr Examen

Expresión ∼P⇔(P∧∼P)

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

    Solución

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