Search results for machine learning propositional logic