arwa-fawzy / propositional-logic-translator Goto Github PK
View Code? Open in Web Editor NEWA tool that can translate natural language statements into propositional logic symbols. The tool will also be equipped with logic rules validation features to check the validity of the generated propositions.