I posted this a few months ago.. https://www.cs.virginia.edu/~evans/greatworks/shannon38.pdf Claude Shannon's 'A symbolic analysis of relay and switching circuits'