EXPLAINABLE ARTIFICIAL INTELLIGENCE USING EXPRESSIVE BOOLEAN FORMULAS