Boolean algebra deals in simple notions like TRUE or FALSE and logical relationships such as AND, OR, NOT, and IF. Any logical relationship may be put together from a combination of these elements. Shannon posed himself the problem of encoding each of these logical ideas in an electrical circuit. To his delight, he succeeded. In effect, he proved that an electronic digital computer could compute anything.

