Lógica y algebras de boole(4)

 Sabiendo que el valor de la proposición p → q es falso, determina el valor de (¬p ∨ ¬q) → q. Sabiendo que el valor de la proposición p → q es verdadero,¿se puede determinar el valor de ¬p ∨ (p ↔ q)? En caso afi rmativo, determina dicho valor.

Si p → q (Falso)

p → q (0)                             (¬p ∨ ¬q) → q

1      0                                    0   ∨   1
                                                    1        →0
                                                            0


Si p → q (Verdadero)

p → q (1)                              ¬p ∨ (p ↔ q)

0      0                                     1   ∨   1           1
0      1                                     1   ∨   0           1    => Siempre cierto, tautología
1      1                                     1   ∨   1           1