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