eq
x
x
true
not
eq
x
y
neq
x
y
not
neq
x
y
eq
x
y
not
true
false
not
false
true
not
not
x
x
not
and
x
y
or
not
x
not
y
not
or
x
y
and
not
x
not
y
neq
x
x
false
or
and
x
y
z
and
or
x
z
or
y
z
or
x
x
x
or
x
true
true
or
x
false
x
and
x
x
x
and
x
true
x
and
x
false
false
and
x
or
x
y
x
eq
2
C
true
0
not
1
neq
2
C
false
0
and
2
AC
or
2
AC
FULL
./TRS/AProVE_AC/AC08.trs