logika tautologia

[Magnat]

Potrzebuje rozwiązanie krok po kroku 2 zadanek:
Sprawdź czy nastepujace zdanie jest tautologią:

1) (p \(\displaystyle{ \Rightarrow}\) q) \(\displaystyle{ \Leftrightarrow}\) \(\displaystyle{ \sim}\) p \(\displaystyle{ \vee}\) q

2) (p \(\displaystyle{ \Rightarrow q}\)) \(\displaystyle{ \Rightarrow}\) (\(\displaystyle{ \sim}\) q \(\displaystyle{ \Rightarrow}\) p)

[miodzio1988]

Zaloz ze nie jest tautologią i postaraj się doprowadzic do spczecznosci. Kiedy implikacja przyjmuje wartosc logiczną zero?

[kuba1337]

kiedy p jest 1, a q 0 ?