Shannon 's 1938 master's thesis, A Symbolic Analysis of Relay and Switching Circuits , used Boolean algebra to establish the theoretical basis of modern digital circuits.