Sr Examen

Lang:

¿Cómo usar?
Expresión:
P→(Q→P)
Q∧(R∨¬Q)
P∧(Q→R)
A∧(B∨C)
Expresiones idénticas
(((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))
(((x0 módulo de x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))
x0|x0|x1|x1|x0|x0|x2|x2|x0|x0x4|x4|x1|x1|x2|x2|x1|x1|x3|x3|x2|x2x4|x4|x3|x3x4|x4|x0|x0|x3|x1|x1|x4|x2|x2|x3|x4|x4|x1|x1|x3|x3|x4|x3|x3|x0|x2|x0|x1|x2|x0|x2|x4

Lógica matemática/ (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))

Expresión (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))

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

⌨

Solución

Ha introducido [src]

((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)∧(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)∧(x4|x4))|((x3|x3)∧(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4)

$$\left(\left(x_{0} | x_{0}\right) | \left(x_{1} | x_{1}\right)\right) | \left(\left(x_{0} | x_{0}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{0} | x_{0}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{2} | x_{2}\right)\right) | \left(\left(x_{1} | x_{1}\right) | \left(x_{3} | x_{3}\right)\right) | \left(\left(x_{2} | x_{2}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{3} | x_{3}\right) \wedge \left(x_{4} | x_{4}\right)\right) | \left(\left(x_{0} | x_{0}\right) | x_{3}\right) | \left(\left(x_{1} | x_{1}\right) | x_{4}\right) | \left(\left(x_{2} | x_{2}\right) | x_{3}\right) | \left(\left(x_{4} | x_{4}\right) | x_{1}\right) | \left(x_{1} | x_{3}\right) | \left(x_{3} | x_{4}\right) | \left(\left(x_{3} | x_{3}\right) | x_{0} | x_{2}\right) | \left(x_{0} | x_{1} | x_{2}\right) | \left(x_{0} | x_{2} | x_{4}\right)$$

Вы использовали:
| - Не-и (штрих Шеффера).
Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
Посмотреть с символом ∨

Solución detallada

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

Simplificación [src]

Tabla de verdad

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

FNC [src]

Ya está reducido a FNC

FND [src]

Ya está reducido a FND

FNCD [src]

FNDP [src]

¿Cómo usar?

Expresiones idénticas

Expresión (((x0|x0)|(x1|x1))|((x0|x0)|(x2|x2))|((x0|x0)(x4|x4))|((x1|x1)|(x2|x2))|((x1|x1)|(x3|x3))|((x2|x2)(x4|x4))|((x3|x3)(x4|x4))|((x0|x0)|x3)|((x1|x1)|x4)|((x2|x2)|x3)|((x4|x4)|x1)|(x1|x3)|(x3|x4)|((x3|x3)|x0|x2)|(x0|x1|x2)|(x0|x2|x4))

Solución