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