Для выражения какой логической операции в разговорной речи используется связка "тогда и только тогда, когда", а в математике — "необходимо и достаточно"?

• эквиваленция
• импликация
• конъюнкция
• строгая дизъюнкция