what is digital logic design in computer science