Boolean Algebra and Its Applications (Dover Books on Computer Science)