Sr Examen
Lógica matemática/ ¬a∨(b→(a∨¬(¬a∨¬b≡a¬b))≡¬b)

Expresión ¬a∨(b→(a∨¬(¬a∨¬b≡a¬b))≡¬b)

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

⌨

    Solución

    Ha introducido [src] 
    (¬a)∨((¬b)⇔(b⇒(a∨(¬((a∧(¬b))⇔((¬a)∨(¬b)))))))
    ((b⇒(a∨(a∧¬b)≢(¬a∨¬b)))⇔¬b)∨¬a\left(\left(b \Rightarrow \left(a \vee \left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right)\right)\right) ⇔ \neg b\right) \vee \neg a
    Solución detallada
    (a∧¬b)⇔(¬a∨¬b)=a\left(a \wedge \neg b\right) ⇔ \left(\neg a \vee \neg b\right) = a
    (a∧¬b)≢(¬a∨¬b)=¬a\left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right) = \neg a
    a∨(a∧¬b)≢(¬a∨¬b)=1a \vee \left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right) = 1
    b⇒(a∨(a∧¬b)≢(¬a∨¬b))=1b \Rightarrow \left(a \vee \left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right)\right) = 1
    (b⇒(a∨(a∧¬b)≢(¬a∨¬b)))⇔¬b=¬b\left(b \Rightarrow \left(a \vee \left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right)\right)\right) ⇔ \neg b = \neg b
    ((b⇒(a∨(a∧¬b)≢(¬a∨¬b)))⇔¬b)∨¬a=¬a∨¬b\left(\left(b \Rightarrow \left(a \vee \left(a \wedge \neg b\right) \not\equiv \left(\neg a \vee \neg b\right)\right)\right) ⇔ \neg b\right) \vee \neg a = \neg a \vee \neg b
    Simplificación [src]
    ¬a∨¬b\neg a \vee \neg b 
    (¬a)∨(¬b)
    Tabla de verdad 
    +---+---+--------+
| a | b | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 1      |
+---+---+--------+
| 1 | 1 | 0      |
+---+---+--------+
    FNDP [src]
    ¬a∨¬b\neg a \vee \neg b 
    (¬a)∨(¬b)
    FND [src]
    Ya está reducido a FND
    ¬a∨¬b\neg a \vee \neg b 
    (¬a)∨(¬b)
    FNC [src]
    Ya está reducido a FNC
    ¬a∨¬b\neg a \vee \neg b 
    (¬a)∨(¬b)
    FNCD [src]
    ¬a∨¬b\neg a \vee \neg b 
    (¬a)∨(¬b)
    © Sr Examen – Калькулятор