Ответ:

Обозначим: А — «число делится на 9», В — «сумма его цифр делится на 9». Выражение «тогда и только тогда» обозначает эквивалентность.

Ответ: А ↔ В.