Translate the mathematical statement into symbolic form.
If two sides of a triangle are equal in length (p), the angles opposite those sides are congruent (q).
p ∧ q
q ↔ p
p → q
p ∨ q
~q