BOOLEAN ALGEBRA - MENDELSON, ELLIOTT (MC GRAW HILL, 1970)