Rafał: Sprawdź czy następująca formuła zadaniowa jest tautologią: [[( r ⇒ ~ p ) ˄ ( s ⇒ r ) ] ⇒ ( ~ q ˄ s ) ] ⇔ [[( p ˅ q ) ˄ ( r ˅ ~ s ) ] ˅ ( q ⇒ s )]