Title: Thinking machines, a layman's introduction to logic, Boolean algebra, and computers