Boolean logic does not just work with numbers. Boolean expressions can also compare text, for example to check if a password is correct.

The standard notation for propositional logic is not the easiest for computers to process. Sure, we can find the unicode characters for all of the special symbols, but we probably do not want to ...