Expresión ¬x1¬x2¬x3∨¬x1¬x2x3∨¬x1x2x3∨x1¬x2¬x3∨x1¬x2x3

Ha introducido [src]

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

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

Solución detallada

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

Simplificación [src]

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

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

Tabla de verdad

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

FNDP [src]

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

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

FNC [src]

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

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

FND [src]

Ya está reducido a FND

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

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

FNCD [src]

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

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

¿Cómo usar?

Expresiones idénticas

Expresión ¬x1¬x2¬x3∨¬x1¬x2x3∨¬x1x2x3∨x1¬x2¬x3∨x1¬x2x3

Solución