Text this: Thinking Machines: a layman's introduction to logic, boolean algebra, and computers