Logic_design