Treść zadania

To chodzi o te tabelki z prawda i fałszem,jakieś rozpisanie ale ja tego zupełnie nie rozumiem. Bardzo proszę o pilną odpowiedź.

1.Sprawdź,że podane zdania są tautologiami.
a) (p=> q)<=>(~p) ν q

b)~(p=>q) <=> p ^ (~q)
2.Sprawdź, które z podanych zdań są tautologiami(prawami logiki) .
a) [(p^q)^(~p)]=> q
b)[q^(p=>q)]=>p0
c)(p^q) =>(p ν q)
d)~[(~p)^ q] <=> [p ν (~ v (~q)]
e)~[p v (`q)] <=> ](~p) ^ q]