Artificial Intelligence Explaining Logical Formulas