Expresión xand(¬yandzandworyand¬w)

Ha introducido [src]

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

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

Solución detallada

\left(y \wedge \neg w\right) \vee \left(w \wedge z \wedge \neg y\right) = \left(w \vee y\right) \wedge \left(y \vee z\right) \wedge \left(\neg w \vee \neg y\right)

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

Simplificación [src]

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

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

Tabla de verdad

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

FND [src]

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

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

FNC [src]

Ya está reducido a FNC

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

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

FNCD [src]

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

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

FNDP [src]

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

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

¿Cómo usar?

Expresiones idénticas

Expresiones con funciones

Expresión xand(¬yandzandworyand¬w)

Solución