What is the difference between boolean algebra and propositional logic? | Hacker News Reader