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