YES
(VAR x z y)
(RULES
or(&(x,z),&(y,z)) -> &(or(x,y),z)
or(&(x,z),z) -> &(or(x,z),z)
or(x,&(z,x)) -> &(or(x,z),x)
&(x,x) -> x
or(x,x) -> x
)