Combinational Circuit Design Procedure