Logika natka: Sprawdzić przy pomocy programu Excel czy poniższe zdania są tautologiami a)~ (p → q) ↔ (p ˄ ~ q) a) [p → (q → r)] ↔ [(q ˄ ~ r) → ~ p].