Redmond launched his project on Kickstarter earlier this month, hoping to raise $10,000 to publish the first book. Backers will get copies of Boolean Logic for Babies by November.

Boolean algebra, and other forms of abstract propositional logic, are based on dealing with compound propositions made up of simple propositions joined by logical connectors like "and", "or", and ...