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 QWPOS(max) ... orients all.
	I(and) = max(x1, x2)	sigma(and) = [1,2]
	I(or) = max(x1, x2)	sigma(or) = [2,1]
	I(not) = x1 + 1	sigma(not) = [1]
    PREC: not > and > or
Number of Rules: 0