YES

   1: not(T()) -> F()
   2: not(F()) -> T()
   3: not(not(x1)) -> x1
   4: exor(x1,T()) -> not(x1)
   5: exor(x1,F()) -> x1
   6: exor(not(x1),x2) -> not(exor(x1,x2))
   7: exor(exor(x1,x2),x3) -> exor(x1,exor(x2,x3))
   8: exor(x1,x2) -> exor(x2,x1)

@Jouannaud and Kirchner's criterion
--- R
   1: not(T()) -> F()
   2: not(F()) -> T()
   3: not(not(x1)) -> x1
   4: exor(x1,T()) -> not(x1)
   5: exor(x1,F()) -> x1
   6: exor(not(x1),x2) -> not(exor(x1,x2))
   7: exor(exor(x1,x2),x3) -> exor(x1,exor(x2,x3))
   8: exor(x1,x2) -> exor(x2,x1)

--- S
   1: not(T()) -> F()
   2: not(F()) -> T()
   3: not(not(x1)) -> x1
   4: exor(x1,T()) -> not(x1)
   5: exor(x1,F()) -> x1
   6: exor(not(x1),x2) -> not(exor(x1,x2))
   7: exor(exor(x1,x2),x3) -> exor(x1,exor(x2,x3))
   8: exor(x1,x2) -> exor(x2,x1)