; @origtpdbfilename ./TRS/SK90/2.30.trs
; @xtcfilename "./TRS_Standard/SK90/2.30.xml"
(format TRS)
(fun not 1)
(fun xor 2)
(fun true 0)
(fun implies 2)
(fun and 2)
(fun or 2)
(fun = 2)
(rule (not x) (xor x true))
(rule (implies x y) (xor (and x y) (xor x true)))
(rule (or x y) (xor (and x y) (xor x y)))
(rule (= x y) (xor x (xor y true)))