truth table in logic design - Search