Let $A=\{H\in T\ |\ O^p(H)=H\}$ and $B=\{S\in T\ |\ p\nmid [N_G(S):S]\ \}$. We need to define two maps $\phi:A\rightarrow B$ and $\psi:B\rightarrow A$, which are both well-defined up to conjugacy, and are inverses of one another.
The map from $B$ to $A$ is easier to describe: $\psi(S)=O^p(S)$. Note that $O^p(O^p(S))=O^p(S)$, so $\psi(S)\in A$. Since $O^p(S)^g=O^p(S^g)$, this map is well-defined.
To define $\phi(H)$, choose a subgroup $K$, with $H\le K\le N_G(H)$, such that $K/H$ is a Sylow p-subgroup of $N_G(H)/H$. Let $\phi(H)=K$. Since $N_G(H)^g=N_G(H^g)$, and Sylows are conjugate, this map is well-defined. Moreover, since $K/H$ is a p-group, $O^p(K)\subset H$, and thus $O^p(K)=H$ since $H\in A$. Thus $N_G(K)\subset N_G(H)$, and since $p\nmid [N_G(H):K]$, certainly $p\nmid [N_G(K):K]$. Thus $\phi(H)\in B$.
From what was said above, we see that $O^p(\phi(H))=H$, so that $\psi\phi(H)=H$.
In the other direction, since $O^p(S)$ is characteristic in $S$, we have $N_G(S)\subset N_G(O^p(S))$. Now $S/O^p(S)$ is a p-subgroup of $N_G(O^p(S))/O^p(S)$, and since "normalizers grow" in p-groups, yet $S\in B$, $S/O^p(S)$ must be a Sylow p-subgroup of $N_G(O^p(S))/O^p(S)$. Thus $\phi(\psi(S))=\phi(O^p(S))=S$.