Sr Examen

Lang:

¿Cómo usar?
Expresión:
(~P→Q)∧(Q↔P)
((P∧Q)→~R)∨(P→(Q→~R))
(p∧Q)∨(~P∧~Q)→(~P∨Q)
(a⇒b)∧(b⇒a)
Expresiones idénticas
¬x*¬y*¬z+¬x*y*z+x*y*¬z+x*y*z
¬x multiplicar por ¬y multiplicar por ¬z más ¬x multiplicar por y multiplicar por z más x multiplicar por y multiplicar por ¬z más x multiplicar por y multiplicar por z
¬x¬y¬z+¬xyz+xy¬z+xyz
Expresiones semejantes
¬x*¬y*¬z-¬x*y*z+x*y*¬z+x*y*z
¬x*¬y*¬z+¬x*y*z+x*y*¬z-x*y*z
¬x*¬y*¬z+¬x*y*z-x*y*¬z+x*y*z

Lógica matemática/ ¬x*¬y*¬z+¬x*y*z+x*y*¬z+x*y*z

Expresión ¬x¬y¬z+¬xyz+xy¬z+xyz

El profesor se sorprenderá mucho al ver tu solución correcta😉

⌨

Solución

Ha introducido [src]

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

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

Solución detallada

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

Simplificación [src]

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

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

Tabla de verdad

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

FND [src]

Ya está reducido a FND

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

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

FNC [src]

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

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

FNDP [src]

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

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

FNCD [src]

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

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

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión ¬x*¬y*¬z+¬x*y*z+x*y*¬z+x*y*z

Solución

Expresión ¬x¬y¬z+¬xyz+xy¬z+xyz