Rocky's Boots is a puzzle game where you must complete electrical circuits, using logic gates (AND, OR, NOT, etc.), to solve mathematical problems. Intended for children, it is actually a great introduction to logic-based programming.