kb:ee:combinational_logic