ory and problems of booleen algebra and switching circuits - mendoza, E. (New York, 1987)