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