Discrete Mathematics And Logic Design