NO
(ignored inputs)COMMENT reduction failed
Rewrite Rules:
   [ not(true) -> false,
     not(false) -> true,
     or(true,?y) -> true,
     or(?x,true) -> true,
     or(false,false) -> false,
     and(true,true) -> true,
     and(?x,true) -> ?x,
     and(true,?y) -> ?y,
     and(false,false) -> false,
     not(and(?x,?y)) -> or(not(?x),not(?y)),
     not(or(?x,?y)) -> and(not(?x),not(?y)) ]
Apply Direct Methods...
Inner CPs:
   [ not(true) = or(not(true),not(true)),
     not(?x_2) = or(not(?x_2),not(true)),
     not(?y_3) = or(not(true),not(?y_3)),
     not(false) = or(not(false),not(false)),
     not(true) = and(not(true),not(?y)),
     not(true) = and(not(?x_1),not(true)),
     not(false) = and(not(false),not(false)) ]
Outer CPs:
   [ true = true,
     true = true,
     true = true,
     true = true ]
not Overlay, check Termination...
Terminating, not WCR
Knuth & Bendix
Direct Methods: not CR

Combined result: not CR
/tmp/filePlddYx.trs: Success(not CR)
(4 msec.)