Expresión ¬x1x2x4∨¬x1¬x2¬x4∨x1¬x2x4∨x1¬x3x4

Ha introducido [src]

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

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

Solución detallada

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

Simplificación [src]

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

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

Tabla de verdad

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

FNCD [src]

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

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

FND [src]

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

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

FNDP [src]

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

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

FNC [src]

Ya está reducido a FNC

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

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

¿Cómo usar?

Expresiones idénticas

Expresión ¬x1x2x4∨¬x1¬x2¬x4∨x1¬x2x4∨x1¬x3x4

Solución