How do you plan to solve it?
module x_detector (input [1:0]a, output eq_logic, output eq_case); assign eq_logic = (a == 2'bx1); assign eq_case = (a === 2'bx1); endmodule