Combinational Circuit Design Problems