Schaum's Outline of Boolean Algebra and Switching Circuits by Elliott Mendelson