Shannon also showed that such switches could solve boolean algebra problems . All modern-day digital circuits ( mainly computers ) use such algebra to solve problems .
He also proved that circuits with relays could solve Boolean algebra problems .