Sr Examen
Lógica matemática/ ¬((1<->¬1)^1)->1

Expresión ¬((1<->¬1)^1)->1

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

⌨

    Solución

    Ha introducido [src] 
    (¬(True))⇒1
    ¬(True)⇒1\neg \left(\text{True}\right) \Rightarrow 1
    Solución detallada
    ¬(True)=False\neg \left(\text{True}\right) = \text{False}
    ¬(True)⇒1=1\neg \left(\text{True}\right) \Rightarrow 1 = 1
    Simplificación [src]
    1 
    1
    Tabla de verdad 
    +--------+
| result |
+========+
| 1      |
+--------+
    FND [src]
    Ya está reducido a FND
    1 
    1
    FNDP [src]
    1 
    1
    FNCD [src]
    1 
    1
    FNC [src]
    Ya está reducido a FNC
    1 
    1
    © Sr Examen – Калькулятор