Question

~q and p implies q tautology

​

Answer 1

A compound proposition that is always True is called a tautology. Two propositions p and q are logically equivalent if their truth tables are the same. Namely, p and q are logically equivalent if p ↔ q is a tautology. If p and q are logically equivalent, we write p ≡ q.