Schaum's outline of the theory and problems of boolean algebra and switching circuits - Mendelson, Elliott. (Schaum's Outline Series., 1970)