Hàm số nào là hàm số nghịch biến?

(AI giải đề cho tôi)
Hàm số nghịch biến là hàm số có cơ số a thỏa 0<a<1. Các hàm $y=5^x$, $y=e^x$ là hàm số mũ với cơ số lớn hơn 1 nên đồng biến; $y=\log x$ có cơ số 10>1 nên đồng biến. Riêng $y={\log }_{0,8}x$ có cơ số $0<0,8<1$ nên nghịch biến trên $(0;+\infty )$. Vậy đáp án là D.