Sr Examen
Expresión ¬X1X2∨X1¬X2
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
(x1∧(¬x2))∨(x2∧(¬x1))
$$\left(x_{1} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge \neg x_{1}\right)$$
Simplificación
[src]
$$\left(x_{1} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge \neg x_{1}\right)$$
(x1∧(¬x2))∨(x2∧(¬x1))
Tabla de verdad
+----+----+--------+ | x1 | x2 | result | +====+====+========+ | 0 | 0 | 0 | +----+----+--------+ | 0 | 1 | 1 | +----+----+--------+ | 1 | 0 | 1 | +----+----+--------+ | 1 | 1 | 0 | +----+----+--------+
FNDP
[src]
$$\left(x_{1} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge \neg x_{1}\right)$$
(x1∧(¬x2))∨(x2∧(¬x1))
FND
[src]
Ya está reducido a FND
$$\left(x_{1} \wedge \neg x_{2}\right) \vee \left(x_{2} \wedge \neg x_{1}\right)$$
(x1∧(¬x2))∨(x2∧(¬x1))
FNCD
[src]
$$\left(x_{1} \vee x_{2}\right) \wedge \left(\neg x_{1} \vee \neg x_{2}\right)$$
(x1∨x2)∧((¬x1)∨(¬x2))
FNC
[src]
$$\left(x_{1} \vee x_{2}\right) \wedge \left(x_{1} \vee \neg x_{1}\right) \wedge \left(x_{2} \vee \neg x_{2}\right) \wedge \left(\neg x_{1} \vee \neg x_{2}\right)$$
(x1∨x2)∧(x1∨(¬x1))∧(x2∨(¬x2))∧((¬x1)∨(¬x2))