En la proposición lógica \( \neg(p \lor \neg q) \rightarrow \neg p \), ¿qué ocurr cuando \( p \) es falsa (False) y \(q \) es verdadera (True)?

El siguiente enunciado lógico es una tautología: \( [ p \rightarrow (q \rightarrow r)] \rightarrow [(p \rightarrow q) \rightarrow (p \rightarrow r)]\).
(NOTA: Una tautología es una expresión lógica que siempre es verdadera, independientemente de los valores de verdad de sus variables. En otras palabras, es una proposición que es cierta por definición o por construcción.)

En la proposición lógica \( (p \rightarrow q) \rightarrow r \), ¿qué ocurre cuando \( p \) es F, \( q \) es T y \( r \) es F?

En el enunciado lógico \( (p \lor q) \land \neg (p \land q)\), ¿qué ocurre cuando ambas, \( p \) y \( q \) son verdaderas?

El siguiente enunciado representa una parte de las Leyes de De Morgan. ¿Qué ocurre cuando ambas, \( p \) y \( q \) son F?
\[ \neg (p \lor q) \Leftrightarrow \neg p \land \neg q \]