ankieta
Czy formuła "(p --> q) --> (∼ q --> ∼ p)" jest tautologią?
TAK
NIE