Computer scientists have used logic problems to understand and explain challenges in the design and implementation of complex systems. From operating systems to distributed systems, the use of logic problems has allowed software designers to create more effective algorithms. This presentation reviews several well-known logic problems and applications in design, including the Two Generals, Byzantine Generals, Monty Hall, and Dining Philosophers problems.