Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets