It technically is redundant, though, because it has the form (A=>~B)&(B=>~A), while A=>~B and B=>~A are equivalent to each other. It doesn’t need to be symmetrized because the statement was symmetric in the first place, even if it wasn’t stated in an obviously symmetric form such as ~(A&B). (Going to have to say I like the redundant version for emphasis, though.)
It technically is redundant, though, because it has the form (A=>~B)&(B=>~A), while A=>~B and B=>~A are equivalent to each other. It doesn’t need to be symmetrized because the statement was symmetric in the first place, even if it wasn’t stated in an obviously symmetric form such as ~(A&B). (Going to have to say I like the redundant version for emphasis, though.)