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