Expresión ¬y∨¬t¬x∨x¬z∨tz

Ha introducido [src]

(¬y)∨(t∧z)∨(x∧(¬z))∨((¬t)∧(¬x))

\left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(\neg t \wedge \neg x\right) \vee \neg y

Solución detallada

\left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(\neg t \wedge \neg x\right) \vee \neg y = \left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(z \wedge \neg x\right) \vee \left(\neg t \wedge \neg x\right) \vee \left(\neg t \wedge \neg z\right) \vee \neg y

Simplificación [src]

\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(z \wedge \neg x\right) \vee \left(\neg t \wedge \neg x\right) \vee \left(\neg t \wedge \neg z\right) \vee \neg y

(¬y)∨(t∧x)∨(t∧z)∨(x∧(¬z))∨(z∧(¬x))∨((¬t)∧(¬x))∨((¬t)∧(¬z))

Tabla de verdad

+---+---+---+---+--------+
| t | x | y | z | result |
+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 1      |
+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 1      |
+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1      |
+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1      |
+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1      |
+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1      |
+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1      |
+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0      |
+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1      |
+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1      |
+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 0      |
+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1      |
+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1      |
+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1      |
+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1      |
+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1      |
+---+---+---+---+--------+

FNDP [src]

\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(z \wedge \neg x\right) \vee \left(\neg t \wedge \neg x\right) \vee \left(\neg t \wedge \neg z\right) \vee \neg y

(¬y)∨(t∧x)∨(t∧z)∨(x∧(¬z))∨(z∧(¬x))∨((¬t)∧(¬x))∨((¬t)∧(¬z))

FND [src]

Ya está reducido a FND

\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge \neg z\right) \vee \left(z \wedge \neg x\right) \vee \left(\neg t \wedge \neg x\right) \vee \left(\neg t \wedge \neg z\right) \vee \neg y

(¬y)∨(t∧x)∨(t∧z)∨(x∧(¬z))∨(z∧(¬x))∨((¬t)∧(¬x))∨((¬t)∧(¬z))

FNC [src]

\left(t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(x \vee z \vee \neg t \vee \neg y\right) \wedge \left(t \vee x \vee z \vee \neg t \vee \neg y\right) \wedge \left(t \vee x \vee \neg t \vee \neg x \vee \neg y\right) \wedge \left(t \vee x \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee z \vee \neg t \vee \neg y \vee \neg z\right) \wedge \left(t \vee z \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee \neg t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(x \vee z \vee \neg t \vee \neg x \vee \neg y\right) \wedge \left(x \vee z \vee \neg t \vee \neg y \vee \neg z\right) \wedge \left(x \vee z \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee x \vee z \vee \neg t \vee \neg x \vee \neg y\right) \wedge \left(t \vee x \vee z \vee \neg t \vee \neg y \vee \neg z\right) \wedge \left(t \vee x \vee z \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee x \vee \neg t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee z \vee \neg t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(x \vee z \vee \neg t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(t \vee x \vee z \vee \neg t \vee \neg x \vee \neg y \vee \neg z\right)

(x∨z∨(¬t)∨(¬y))∧(t∨(¬x)∨(¬y)∨(¬z))∧(t∨x∨z∨(¬t)∨(¬y))∧(t∨x∨(¬t)∨(¬x)∨(¬y))∧(t∨x∨(¬x)∨(¬y)∨(¬z))∧(t∨z∨(¬t)∨(¬y)∨(¬z))∧(t∨z∨(¬x)∨(¬y)∨(¬z))∧(x∨z∨(¬t)∨(¬x)∨(¬y))∧(x∨z∨(¬t)∨(¬y)∨(¬z))∧(x∨z∨(¬x)∨(¬y)∨(¬z))∧(t∨(¬t)∨(¬x)∨(¬y)∨(¬z))∧(t∨x∨z∨(¬t)∨(¬x)∨(¬y))∧(t∨x∨z∨(¬t)∨(¬y)∨(¬z))∧(t∨x∨z∨(¬x)∨(¬y)∨(¬z))∧(t∨x∨(¬t)∨(¬x)∨(¬y)∨(¬z))∧(t∨z∨(¬t)∨(¬x)∨(¬y)∨(¬z))∧(x∨z∨(¬t)∨(¬x)∨(¬y)∨(¬z))∧(t∨x∨z∨(¬t)∨(¬x)∨(¬y)∨(¬z))

FNCD [src]

\left(t \vee \neg x \vee \neg y \vee \neg z\right) \wedge \left(x \vee z \vee \neg t \vee \neg y\right)

(x∨z∨(¬t)∨(¬y))∧(t∨(¬x)∨(¬y)∨(¬z))

¿Cómo usar?

Expresiones idénticas

Expresión ¬y∨¬t¬x∨x¬z∨tz

Solución