Sr Examen

Lang:

¿Cómo usar?
Expresión:
((~P∨Q)∧(Q→P))→(~P→~Q)
(P∨Q∨R)∧(P∨T∨¬Q)∧(P∨¬T∨R)
(P∧Q)∧¬(P∨Q)
(p→q)→r
Expresiones idénticas
((x^y)*(y^z))+(x+(x*z))
((x en el grado y) multiplicar por (y en el grado z)) más (x más (x multiplicar por z))
((xy)*(yz))+(x+(x*z))
xy*yz+x+x*z
((x^y)(y^z))+(x+(xz))
((xy)(yz))+(x+(xz))
xyyz+x+xz
x^yy^z+x+xz
Expresiones semejantes
((x^y)*(y^z))-(x+(x*z))
((x^y)*(y^z))+(x-(x*z))

Lógica matemática/ ((x^y)*(y^z))+(x+(x*z))

Expresión ((x^y)(y^z))+(x+(xz))

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

⌨

Solución

Ha introducido [src]

x∨(x∧z)∨(x∧y∧z)

$$x \vee \left(x \wedge z\right) \vee \left(x \wedge y \wedge z\right)$$

Solución detallada

$$x \vee \left(x \wedge z\right) \vee \left(x \wedge y \wedge z\right) = x$$

Simplificación [src]

$$x$$

Tabla de verdad

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

FND [src]

Ya está reducido a FND

$$x$$

FNC [src]

Ya está reducido a FNC

$$x$$

FNDP [src]

$$x$$

FNCD [src]

$$x$$

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión ((x^y)*(y^z))+(x+(x*z))

Solución

Expresión ((x^y)(y^z))+(x+(xz))