sprawdzanie formul Kamil: Sprawdzic, które z ponizszych formuł sa tautologiami: 1. (p <=> q) => (p /\ q) 2. (p <=> q) => [(~p V q) /\ (p V ~q)] 3. (p => q) => [p => (q V r)]