Sr Examen
Lógica matemática/ xvy¬(notx&y)

Expresión xvy¬(notx&y)

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

⌨

    Solución

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