Introduction to the theory of switching circuits - McCluskey E.J. (2000)