YES

(VAR )
(RULES
  not(not(n0())) -> n0()
  and(n0(),not(n0())) -> n0()
  and(not(n0()),n0()) -> n0()
  and(not(n0()),not(n0())) -> not(n0())
  or(n0(),not(n0())) -> not(n0())
  or(not(n0()),n0()) -> not(n0())
  or(not(n0()),not(n0())) -> not(n0())
  n1() -> not(n0())
  or(n0(),n0()) -> n0()
  and(n0(),n0()) -> n0()
)

(COMMENT
Termination is shown by KBO with weight

  w0 = 1
  w(and) = 0
  w(n0) = 1
  w(n1) = 3
  w(or) = 0
  w(not) = 1

and precedence:

  or > and > n0 > not > n1
)