Expresión xyzp+xy¬zp+x¬yzp+¬xyzp+¬xy¬zp+xyz¬p+¬xyz¬p+¬xy¬z¬p+¬x¬yz¬p

Ha introducido [src]

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

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

Solución detallada

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

Simplificación [src]

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

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

Tabla de verdad

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

FND [src]

Ya está reducido a FND

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

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

FNCD [src]

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

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

FNC [src]

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

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

FNDP [src]

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

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

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresiones con funciones

Expresión xyzp+xy¬zp+x¬yzp+¬xyzp+¬xy¬zp+xyz¬p+¬xyz¬p+¬xy¬z¬p+¬x¬yz¬p

Solución