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