Solution
= Solution
Taking the <conjugate transpose> reverses the product order: $(AB)^\dagger=B^\dagger A^\dagger=BA$. Thus
$$
\boxed{AB\text{ is Hermitian if and only if }AB=BA.}
$$
The necessary and sufficient additional condition is that the two <Hermitian matrices> <commute>.