Input TRS:
    1: or(x,x) -> x
    2: and(x,x) -> x
    3: not(not(x)) -> x
    4: not(and(x,y)) -> or(not(x),not(y))
    5: not(or(x,y)) -> and(not(x),not(y))
Number of Rules: 5
Direct POLO(Sum) ... removes: 2 1
	I(and) = x1 + x2 + 1
	I(or) = x1 + x2 + 1
	I(not) = x1
Number of Rules: 3
Direct POLO(Sum) ...Direct QLPOS ... removes: 5 4 3
	sigma(and) = [1,2]
	sigma(or) = [1,2]
	sigma(not) = [1]
    PREC: and = or = not
Number of Rules: 0