YES

---- CR(R)
---- [Jouannaud and Kirchner, 1986]
R:
or(x,T()) -> T()
or(x,F()) -> x
or(or(x,y),z) -> or(x,or(y,z))
or(x,y) -> or(y,x)
CP_AC(R):
T() -> or(x,T())
T() -> T()
or(x,T()) -> T()
T() -> T()
T() -> or(x,y,T())
T() -> or(x,T())
T() -> or(x,T(),y)
T() -> or(T(),x)
T() -> or(x,T(),y,z)
T() -> or(T(),x,y)
T() -> or(x,y,T(),z)
T() -> or(x,T(),y)
T() -> or(x,y,z,T())
T() -> or(x,y,T())
or(T(),x) -> or(y,T(),z,x)
or(T(),x) -> or(T(),y,x)
or(T(),x) -> or(y,z,T(),x)
or(T(),x) -> or(y,T(),x)
T() -> or(x,T(),y,z)
T() -> or(T(),x,y)
T() -> or(x,y,T(),z)
T() -> or(x,T(),y)
T() -> or(x,y,z,T())
T() -> or(x,y,T())
or(x,T()) -> or(x,y,T(),z)
or(x,T()) -> or(x,T(),y)
or(x,T()) -> or(x,y,z,T())
or(x,T()) -> or(x,y,T())
or(x,y) -> or(y,x,F())
x -> or(x,F())
or(x,y) -> or(y,F(),x)
x -> or(F(),x)
or(x,y,z) -> or(x,F(),y,z)
or(x,y) -> or(F(),x,y)
or(x,y,z) -> or(x,y,F(),z)
or(x,y) -> or(x,F(),y)
or(x,y,z) -> or(x,y,z,F())
or(x,y) -> or(x,y,F())
or(x,y,z) -> or(x,F(),y,z)
or(x,y) -> or(F(),x,y)
or(x,y,z) -> or(x,y,F(),z)
or(x,y) -> or(x,F(),y)
or(x,y,z) -> or(x,F(),y,z)
or(x,y) -> or(F(),x,y)
or(x,y,z) -> or(x,y,F(),z)
or(x,y) -> or(x,F(),y)
or(x,y,z) -> or(x,y,z,F())
or(x,y) -> or(x,y,F())
or(x,y,z) -> or(x,y,F(),z)
or(x,y) -> or(x,F(),y)
or(x,y,z) -> or(x,y,z,F())
or(x,y) -> or(x,y,F())