Sr Examen

Lang:

¿Cómo usar?
Expresión:
(AandnotBandC)ornotAandB
((А)→(P))∨(Q)
((¬P∨Q)∧(Q→P))→(P∧¬Q)
((P∧Q)→¬R)∨(P→(Q→¬R))
Expresiones idénticas
(!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)
(!X0 en el grado !X1 en el grado !X2 en el grado X3) más (X0 en el grado !X1 en el grado !X2 en el grado X3)
(!X0!X1!X2X3)+(X0!X1!X2X3)
!X0!X1!X2X3+X0!X1!X2X3
!X0^!X1^!X2^X3+X0^!X1^!X2^X3
Expresiones semejantes
(!X0^!X1^!X2^X3)-(X0^!X1^!X2^X3)

Lógica matemática/ (!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)

Expresión (!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)

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

⌨

Solución

Ha introducido [src]

(x0∧x3∧(¬x1)∧(¬x2))∨(x3∧(¬x0)∧(¬x1)∧(¬x2))

\left(x_{0} \wedge x_{3} \wedge \neg x_{1} \wedge \neg x_{2}\right) \vee \left(x_{3} \wedge \neg x_{0} \wedge \neg x_{1} \wedge \neg x_{2}\right)

Solución detallada

\left(x_{0} \wedge x_{3} \wedge \neg x_{1} \wedge \neg x_{2}\right) \vee \left(x_{3} \wedge \neg x_{0} \wedge \neg x_{1} \wedge \neg x_{2}\right) = x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

Simplificación [src]

x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

x3∧(¬x1)∧(¬x2)

Tabla de verdad

+----+----+----+----+--------+
| x0 | x1 | x2 | x3 | result |
+====+====+====+====+========+
| 0  | 0  | 0  | 0  | 0      |
+----+----+----+----+--------+
| 0  | 0  | 0  | 1  | 1      |
+----+----+----+----+--------+
| 0  | 0  | 1  | 0  | 0      |
+----+----+----+----+--------+
| 0  | 0  | 1  | 1  | 0      |
+----+----+----+----+--------+
| 0  | 1  | 0  | 0  | 0      |
+----+----+----+----+--------+
| 0  | 1  | 0  | 1  | 0      |
+----+----+----+----+--------+
| 0  | 1  | 1  | 0  | 0      |
+----+----+----+----+--------+
| 0  | 1  | 1  | 1  | 0      |
+----+----+----+----+--------+
| 1  | 0  | 0  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 0  | 0  | 1  | 1      |
+----+----+----+----+--------+
| 1  | 0  | 1  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 0  | 1  | 1  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 0  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 0  | 1  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 1  | 0  | 0      |
+----+----+----+----+--------+
| 1  | 1  | 1  | 1  | 0      |
+----+----+----+----+--------+

FNDP [src]

x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

x3∧(¬x1)∧(¬x2)

FNCD [src]

x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

x3∧(¬x1)∧(¬x2)

FNC [src]

Ya está reducido a FNC

x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

x3∧(¬x1)∧(¬x2)

FND [src]

Ya está reducido a FND

x_{3} \wedge \neg x_{1} \wedge \neg x_{2}

x3∧(¬x1)∧(¬x2)

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión (!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)

Solución