Które z poniżej podanych relacji nie są tautologią Vladyslav: 1)∼ [p ∧ (∼ p ∧ q)] 2)p =⇒ [(∼ q ∧ q) =⇒ r] 3)[(p =⇒ q) =⇒ (q =⇒ r)] =⇒ [(r =⇒ p) =⇒ (q =⇒ p)] 4)p =⇒ [(∼ p) ∨ q] 5)[p =⇒ (q =⇒ r)] ⇐⇒ [q =⇒ (p =⇒ r)]

er: 4) p ⇒ (( ¬p ) v q ) ⇔ ¬p v (( ¬p ) v q ) ⇔ ( ¬p ) v q zdanie to jest nieprawdziwe dla p=1, q=0