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