The important logic symbol used in tautology are:
AND (∧)
OR (∨)
NOT (~)
Negation (¬)
Implies (→)
If and only if (⇔)