Sr Examen
Expresión ¬x∨¬(x⇒z)∨¬x∧z∨x∧y
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
(¬x)∨(x∧y)∨(z∧(¬x))∨(¬(x⇒z))
$$\left(x \wedge y\right) \vee \left(z \wedge \neg x\right) \vee \neg x \vee x \not\Rightarrow z$$
Solución detallada
$$x \Rightarrow z = z \vee \neg x$$
$$x \not\Rightarrow z = x \wedge \neg z$$
$$\left(x \wedge y\right) \vee \left(z \wedge \neg x\right) \vee \neg x \vee x \not\Rightarrow z = y \vee \neg x \vee \neg z$$
$$x \not\Rightarrow z = x \wedge \neg z$$
$$\left(x \wedge y\right) \vee \left(z \wedge \neg x\right) \vee \neg x \vee x \not\Rightarrow z = y \vee \neg x \vee \neg z$$
Tabla de verdad
+---+---+---+--------+ | x | y | z | result | +===+===+===+========+ | 0 | 0 | 0 | 1 | +---+---+---+--------+ | 0 | 0 | 1 | 1 | +---+---+---+--------+ | 0 | 1 | 0 | 1 | +---+---+---+--------+ | 0 | 1 | 1 | 1 | +---+---+---+--------+ | 1 | 0 | 0 | 1 | +---+---+---+--------+ | 1 | 0 | 1 | 0 | +---+---+---+--------+ | 1 | 1 | 0 | 1 | +---+---+---+--------+ | 1 | 1 | 1 | 1 | +---+---+---+--------+