YES

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

(COMMENT
Termination is shown by EKBO with interpretations on natural numbers

  or_A(x1,x2) = x2 + 2
  &_A(x1,x2) = x2 + 1
  or#_A(x1,x2) = x1 + x2
  &#_A(x1,x2) = x1 + x2

weights

  w0 = 1
  w(or) = 0
  w(&) = 0

and precedence:

or > &
)