Да, есть такая формула в свойствах логарифмов. Обычное называют - произведение логарифмов.
Например: log2(5) * log5(2) = log2(2) * log5(5) = 1
