How do you plan to solve it?
module t_ff ( input CLK, input T, output reg Q ); always@(posedge CLK) begin Q<=T^Q; end endmodule