Applications of Propositional Logic

Two applications of propositional logic are mentioned here:

Translating of English Sentences

Example: