Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Open in new window