YES
Time: 0.007295
TRS:
 {     or(x, x) -> x,
      and(x, x) -> x,
   not or(x, y) -> and(not x, not y),
  not and(x, y) -> or(not x, not y),
      not not x -> x}
 DP:
  DP:
   { not# or(x, y) -> and#(not x, not y),
     not# or(x, y) -> not# x,
     not# or(x, y) -> not# y,
    not# and(x, y) -> or#(not x, not y),
    not# and(x, y) -> not# x,
    not# and(x, y) -> not# y}
  TRS:
  {     or(x, x) -> x,
       and(x, x) -> x,
    not or(x, y) -> and(not x, not y),
   not and(x, y) -> or(not x, not y),
       not not x -> x}
  UR:
   {     or(x, x) -> x,
        and(x, x) -> x,
     not or(x, y) -> and(not x, not y),
    not and(x, y) -> or(not x, not y),
        not not x -> x}
   EDG:
    {(not# and(x, y) -> not# y, not# and(x, y) -> not# y)
     (not# and(x, y) -> not# y, not# and(x, y) -> not# x)
     (not# and(x, y) -> not# y, not# and(x, y) -> or#(not x, not y))
     (not# and(x, y) -> not# y, not# or(x, y) -> not# y)
     (not# and(x, y) -> not# y, not# or(x, y) -> not# x)
     (not# and(x, y) -> not# y, not# or(x, y) -> and#(not x, not y))
     (not# and(x, y) -> not# x, not# and(x, y) -> not# y)
     (not# and(x, y) -> not# x, not# and(x, y) -> not# x)
     (not# and(x, y) -> not# x, not# and(x, y) -> or#(not x, not y))
     (not# and(x, y) -> not# x, not# or(x, y) -> not# y)
     (not# and(x, y) -> not# x, not# or(x, y) -> not# x)
     (not# and(x, y) -> not# x, not# or(x, y) -> and#(not x, not y))
     (not# or(x, y) -> not# x, not# or(x, y) -> and#(not x, not y))
     (not# or(x, y) -> not# x, not# or(x, y) -> not# x)
     (not# or(x, y) -> not# x, not# or(x, y) -> not# y)
     (not# or(x, y) -> not# x, not# and(x, y) -> or#(not x, not y))
     (not# or(x, y) -> not# x, not# and(x, y) -> not# x)
     (not# or(x, y) -> not# x, not# and(x, y) -> not# y)
     (not# or(x, y) -> not# y, not# or(x, y) -> and#(not x, not y))
     (not# or(x, y) -> not# y, not# or(x, y) -> not# x)
     (not# or(x, y) -> not# y, not# or(x, y) -> not# y)
     (not# or(x, y) -> not# y, not# and(x, y) -> or#(not x, not y))
     (not# or(x, y) -> not# y, not# and(x, y) -> not# x)
     (not# or(x, y) -> not# y, not# and(x, y) -> not# y)}
    EDG:
     {(not# and(x, y) -> not# y, not# and(x, y) -> not# y)
      (not# and(x, y) -> not# y, not# and(x, y) -> not# x)
      (not# and(x, y) -> not# y, not# and(x, y) -> or#(not x, not y))
      (not# and(x, y) -> not# y, not# or(x, y) -> not# y)
      (not# and(x, y) -> not# y, not# or(x, y) -> not# x)
      (not# and(x, y) -> not# y, not# or(x, y) -> and#(not x, not y))
      (not# and(x, y) -> not# x, not# and(x, y) -> not# y)
      (not# and(x, y) -> not# x, not# and(x, y) -> not# x)
      (not# and(x, y) -> not# x, not# and(x, y) -> or#(not x, not y))
      (not# and(x, y) -> not# x, not# or(x, y) -> not# y)
      (not# and(x, y) -> not# x, not# or(x, y) -> not# x)
      (not# and(x, y) -> not# x, not# or(x, y) -> and#(not x, not y))
      (not# or(x, y) -> not# x, not# or(x, y) -> and#(not x, not y))
      (not# or(x, y) -> not# x, not# or(x, y) -> not# x)
      (not# or(x, y) -> not# x, not# or(x, y) -> not# y)
      (not# or(x, y) -> not# x, not# and(x, y) -> or#(not x, not y))
      (not# or(x, y) -> not# x, not# and(x, y) -> not# x)
      (not# or(x, y) -> not# x, not# and(x, y) -> not# y)
      (not# or(x, y) -> not# y, not# or(x, y) -> and#(not x, not y))
      (not# or(x, y) -> not# y, not# or(x, y) -> not# x)
      (not# or(x, y) -> not# y, not# or(x, y) -> not# y)
      (not# or(x, y) -> not# y, not# and(x, y) -> or#(not x, not y))
      (not# or(x, y) -> not# y, not# and(x, y) -> not# x)
      (not# or(x, y) -> not# y, not# and(x, y) -> not# y)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):