Zbadaj czy zdanie p=>(~q) jest równoważne zdaniu (~p)v (~q) dla dowolnych wartości logicznych zdań p i q.