and(not(not(

R

↳Dependency Pair Analysis

AND(not(not(x)),y, not(z)) -> AND(y, band(x,z),x)

Furthermore,

R

↳DPs

→DP Problem 1

↳Instantiation Transformation

**AND(not(not( x)), y, not(z)) -> AND(y, band(x, z), x)**

and(not(not(x)),y, not(z)) -> and(y, band(x,z),x)

innermost

On this DP problem, an Instantiation SCC transformation can be performed.

As a result of transforming the rule

one new Dependency Pair is created:

AND(not(not(x)),y, not(z)) -> AND(y, band(x,z),x)

AND(not(not(x'')), band(not(z''),z'''), not(z'')) -> AND(band(not(z''),z'''), band(x'',z''),x'')

The transformation is resulting in no new DP problems.

Duration:

0:00 minutes