arturo: Sprawdź, które z podanych zdań są prawami logiki: a) (p V q) ⇒ p b) ~ [(p V q) ⇒ (p "i" q)] c) [~(p "i" q)] ⇔[(~p) V (~q)]