Sprawdź czy następujące wyrażenia są prawami logicznymi (tautologiami)
a) [~(p⇒q) ]⟺(p∧~q)
b) [(p∧q⇒q)]⇒(~p∨q)
c) [(p∨q)⇒q]⇒(~p∨q)
d) [(p⇒q)∧(p∨q)]⇒(q⇒p)