MAYBE
Time: 0.011425
TRS:
 {    not not x -> x,
  not and(x, y) -> or(not not not x, not not not y),
   not or(x, y) -> and(not not not x, not not not y)}
 DP:
  DP:
   {not# and(x, y) -> not# x,
    not# and(x, y) -> not# y,
    not# and(x, y) -> not# not x,
    not# and(x, y) -> not# not y,
    not# and(x, y) -> not# not not x,
    not# and(x, y) -> not# not not y,
     not# or(x, y) -> not# x,
     not# or(x, y) -> not# y,
     not# or(x, y) -> not# not x,
     not# or(x, y) -> not# not y,
     not# or(x, y) -> not# not not x,
     not# or(x, y) -> not# not not y}
  TRS:
  {    not not x -> x,
   not and(x, y) -> or(not not not x, not not not y),
    not or(x, y) -> and(not not not x, not not not y)}
  EDG:
   {(not# and(x, y) -> not# not not y, not# or(x, y) -> not# not not y)
    (not# and(x, y) -> not# not not y, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# not not y, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# not not y, not# or(x, y) -> not# not x)
    (not# and(x, y) -> not# not not y, not# or(x, y) -> not# y)
    (not# and(x, y) -> not# not not y, not# or(x, y) -> not# x)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# not not y)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# y)
    (not# and(x, y) -> not# not not y, not# and(x, y) -> not# x)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# not x)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# y)
    (not# or(x, y) -> not# not not y, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# not x)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# not not y, not# and(x, y) -> not# x)
    (not# or(x, y) -> not# y, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# y, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# y, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# y, not# or(x, y) -> not# not x)
    (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# y, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# y, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# y, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# y, not# and(x, y) -> not# not x)
    (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# x, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# not x)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# y)
    (not# or(x, y) -> not# x, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# x, not# and(x, y) -> not# 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# not y, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# not y, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# not y, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# not y, not# or(x, y) -> not# not x)
    (not# or(x, y) -> not# not y, not# or(x, y) -> not# y)
    (not# or(x, y) -> not# not y, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# not x)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# not y, not# and(x, y) -> not# x)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# not x)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# y)
    (not# or(x, y) -> not# not x, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# not x)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# not x, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# y)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# not x, not# and(x, y) -> not# not not y)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# x)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# y)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# not x)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# not x, not# or(x, y) -> not# not not y)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# y)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# not y, not# and(x, y) -> not# not not y)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# x)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# y)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# not x)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# not y, not# or(x, y) -> not# not 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# x, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# x, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# x, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# x, not# and(x, y) -> not# not not y)
    (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) -> not# not x)
    (not# and(x, y) -> not# x, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# x, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# x, not# or(x, y) -> not# not 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# and(x, y) -> not# y, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# y, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# y, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# y, not# and(x, y) -> not# not 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) -> not# not x)
    (not# and(x, y) -> not# y, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# y, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# y, not# or(x, y) -> not# not not y)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# x)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# y)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# not x)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# not y)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# not not x)
    (not# or(x, y) -> not# not not x, not# and(x, y) -> not# not not y)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# x)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# y)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# not x)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# not y)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# not not x)
    (not# or(x, y) -> not# not not x, not# or(x, y) -> not# not not y)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# x)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# y)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# not x)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# not y)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# not not x)
    (not# and(x, y) -> not# not not x, not# and(x, y) -> not# not not y)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# x)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# y)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# not x)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# not y)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# not not x)
    (not# and(x, y) -> not# not not x, not# or(x, y) -> not# not not y)}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {not# and(x, y) -> not# x,
       not# and(x, y) -> not# y,
       not# and(x, y) -> not# not x,
       not# and(x, y) -> not# not y,
       not# and(x, y) -> not# not not x,
       not# and(x, y) -> not# not not y,
        not# or(x, y) -> not# x,
        not# or(x, y) -> not# y,
        not# or(x, y) -> not# not x,
        not# or(x, y) -> not# not y,
        not# or(x, y) -> not# not not x,
        not# or(x, y) -> not# not not y}
     
     SCC (12):
      Strict:
       {not# and(x, y) -> not# x,
        not# and(x, y) -> not# y,
        not# and(x, y) -> not# not x,
        not# and(x, y) -> not# not y,
        not# and(x, y) -> not# not not x,
        not# and(x, y) -> not# not not y,
         not# or(x, y) -> not# x,
         not# or(x, y) -> not# y,
         not# or(x, y) -> not# not x,
         not# or(x, y) -> not# not y,
         not# or(x, y) -> not# not not x,
         not# or(x, y) -> not# not not y}
      Weak:
      {    not not x -> x,
       not and(x, y) -> or(not not not x, not not not y),
        not or(x, y) -> and(not not not x, not not not y)}
      Open