design of logic systems 5029923