Formal Explanations for Neuro-Symbolic AI