MAYBE
Time: 0.001180
TRS:
 {    not or(x, y) -> and(not x, not y),
     not and(x, y) -> or(not x, not y),
  and(x, or(y, z)) -> or(and(x, y), and(x, z))}
 DP:
  DP:
   {    not# or(x, y) -> not# x,
        not# or(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,
    and#(x, or(y, z)) -> and#(x, y),
    and#(x, or(y, z)) -> and#(x, z)}
  TRS:
  {    not or(x, y) -> and(not x, not y),
      not and(x, y) -> or(not x, not y),
   and(x, or(y, z)) -> or(and(x, y), and(x, z))}
  EDG:
   {(not# or(x, y) -> not# y, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# y, not# and(x, y) -> not# x)
    (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# y)
    (not# or(x, y) -> not# y, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# x)
    (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# y)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# x)
    (and#(x, or(y, z)) -> and#(x, y), and#(x, or(y, z)) -> and#(x, z))
    (and#(x, or(y, z)) -> and#(x, y), and#(x, or(y, z)) -> and#(x, y))
    (and#(x, or(y, z)) -> and#(x, z), and#(x, or(y, z)) -> and#(x, y))
    (and#(x, or(y, z)) -> and#(x, z), and#(x, or(y, z)) -> and#(x, z))
    (not# and(x, y) -> not# x, not# or(x, y) -> not# x)
    (not# and(x, y) -> not# x, not# or(x, y) -> not# y)
    (not# and(x, y) -> not# x, not# or(x, y) -> and#(not x, not y))
    (not# and(x, y) -> not# x, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# x, not# and(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) -> not# y)
    (not# and(x, y) -> not# y, not# or(x, y) -> and#(not x, not y))
    (not# and(x, y) -> not# y, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# y, not# and(x, y) -> not# y)
    (not# or(x, y) -> and#(not x, not y), and#(x, or(y, z)) -> and#(x, y))
    (not# or(x, y) -> and#(not x, not y), and#(x, or(y, z)) -> and#(x, z))}
   STATUS:
    arrows: 0.469388
    SCCS (2):
     Scc:
      { not# or(x, y) -> not# x,
        not# or(x, y) -> not# y,
       not# and(x, y) -> not# x,
       not# and(x, y) -> not# y}
     Scc:
      {and#(x, or(y, z)) -> and#(x, y),
       and#(x, or(y, z)) -> and#(x, z)}
     
     SCC (4):
      Strict:
       { not# or(x, y) -> not# x,
         not# or(x, y) -> not# y,
        not# and(x, y) -> not# x,
        not# and(x, y) -> not# y}
      Weak:
      {    not or(x, y) -> and(not x, not y),
          not and(x, y) -> or(not x, not y),
       and(x, or(y, z)) -> or(and(x, y), and(x, z))}
      Open
     
     SCC (2):
      Strict:
       {and#(x, or(y, z)) -> and#(x, y),
        and#(x, or(y, z)) -> and#(x, z)}
      Weak:
      {    not or(x, y) -> and(not x, not y),
          not and(x, y) -> or(not x, not y),
       and(x, or(y, z)) -> or(and(x, y), and(x, z))}
      Open