Sr Examen
Expresión (xy)v(yz)v(xt)v(zt)
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
(t∧x)∨(t∧z)∨(x∧y)∨(y∧z)
$$\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge y\right) \vee \left(y \wedge z\right)$$
Simplificación
[src]
$$\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge y\right) \vee \left(y \wedge z\right)$$
(t∧x)∨(t∧z)∨(x∧y)∨(y∧z)
Tabla de verdad
+---+---+---+---+--------+ | t | x | y | z | result | +===+===+===+===+========+ | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 1 | +---+---+---+---+--------+ | 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 | 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 y\right) \vee \left(y \wedge z\right)$$
(t∧x)∨(t∧z)∨(x∧y)∨(y∧z)
FNC
[src]
$$\left(t \vee y\right) \wedge \left(x \vee z\right) \wedge \left(t \vee x \vee y\right) \wedge \left(t \vee x \vee z\right) \wedge \left(t \vee y \vee z\right) \wedge \left(x \vee y \vee z\right) \wedge \left(t \vee x \vee y \vee z\right)$$
(t∨y)∧(x∨z)∧(t∨x∨y)∧(t∨x∨z)∧(t∨y∨z)∧(x∨y∨z)∧(t∨x∨y∨z)
FND
[src]
Ya está reducido a FND
$$\left(t \wedge x\right) \vee \left(t \wedge z\right) \vee \left(x \wedge y\right) \vee \left(y \wedge z\right)$$
(t∧x)∨(t∧z)∨(x∧y)∨(y∧z)