Tautologii, contradicții, propoziții contingente și echivalența logică prin tabele de adevăr