; @origtpdbfilename ./TRS/SK90/2.33.trs
; @xtcfilename "./TRS_Standard/SK90/2.33.xml"
(format TRS)
(fun or 2)
(fun and 2)
(fun not 1)
(rule (or x x) x)
(rule (and x x) x)
(rule (not (not x)) x)
(rule (not (and x y)) (or (not x) (not y)))
(rule (not (or x y)) (and (not x) (not y)))