Explainability via Short Formulas: the Case of Propositional Logic with Implementation | Read Paper on Bytez