Sr Examen

Lang:

¿Cómo usar?
Expresión:
—F=¬(((¬X1)=⇒X2)=⇒(X3=⇒X4))
–a
–p→(p∧q)
⇔¬(¬p∧(p∨q))∨q
Expresiones idénticas
¬XvX*(X⊕ uno +¬X+ cero ⊕X)⊕ uno +(¬X*(¬X+ uno)⊕X+¬X)*¬X⊕X*(uno +X)+ uno ⊕X
¬XvX multiplicar por (X⊕1 más ¬X más 0⊕X)⊕1 más (¬X multiplicar por (¬X más 1)⊕X más ¬X) multiplicar por ¬X⊕X multiplicar por (1 más X) más 1⊕X
¬XvX multiplicar por (X⊕ uno más ¬X más cero ⊕X)⊕ uno más (¬X multiplicar por (¬X más uno)⊕X más ¬X) multiplicar por ¬X⊕X multiplicar por (uno más X) más uno ⊕X
¬XvX(X⊕1+¬X+0⊕X)⊕1+(¬X(¬X+1)⊕X+¬X)¬X⊕X(1+X)+1⊕X
¬XvXX⊕1+¬X+0⊕X⊕1+¬X¬X+1⊕X+¬X¬X⊕X1+X+1⊕X
Expresiones semejantes
¬XvX*(X⊕1+¬X-0⊕X)⊕1+(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1+X)+1⊕X
¬XvX*(X⊕1+¬X+0⊕X)⊕1+(¬X*(¬X+1)⊕X-¬X)*¬X⊕X*(1+X)+1⊕X
¬XvX*(X⊕1+¬X+0⊕X)⊕1+(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1+X)-1⊕X
¬XvX*(X⊕1+¬X+0⊕X)⊕1+(¬X*(¬X-1)⊕X+¬X)*¬X⊕X*(1+X)+1⊕X
¬XvX*(X⊕1+¬X+0⊕X)⊕1+(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1-X)+1⊕X
¬XvX*(X⊕1-¬X+0⊕X)⊕1+(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1+X)+1⊕X
¬XvX*(X⊕1+¬X+0⊕X)⊕1-(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1+X)+1⊕X

Expresión ¬XvX(X⊕1+¬X+0⊕X)⊕1+(¬X(¬X+1)⊕X+¬X)¬X⊕X(1+X)+1⊕X

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

⌨

Ha introducido [src]

x⊕(x∨(¬x))

$$x ⊕ \left(x \vee \neg x\right)$$

Solución detallada

$$x \vee \neg x = 1$$
$$x ⊕ \left(x \vee \neg x\right) = \neg x$$

Simplificación [src]

$$\neg x$$

¬x

Tabla de verdad

+---+--------+
| x | result |
+===+========+
| 0 | 1      |
+---+--------+
| 1 | 0      |
+---+--------+

FND [src]

Ya está reducido a FND

$$\neg x$$

¬x

FNDP [src]

$$\neg x$$

¬x

FNC [src]

Ya está reducido a FNC

$$\neg x$$

¬x

FNCD [src]

$$\neg x$$

¬x

Expresión ¬XvX*(X⊕1+¬X+0⊕X)⊕1+(¬X*(¬X+1)⊕X+¬X)*¬X⊕X*(1+X)+1⊕X