Explainable AI using expressive Boolean formulas