A theory of engineering design

Boolean algebra is the mathematical theory which forms the basis of Computing Science and Information Engineering. It is applicable at all levels, from the collection and analysis of requirements for computer applications, through the specification and development of reliable computer programs, to the gates and wires that implement in hardware, the logic of the executing mechanism. Based on my experience in the study of computing, I suggest that Boolean algebra has an even wider role as the basis for a general methodology of engineering. For this paper, my examples are drawn from simple theories of electronic hardware design