priority encoder in logic - Search