term-rewrite-system/tests/logic-1.scm

(use-modules (trs examples))
(use-modules (srfi srfi-64))

(test-begin "logic-1")
(test-equal (logic-1 'foo)
  'foo)
(test-equal (logic-1 '(foo bar))
  '(foo bar))
(test-equal (logic-1 '(<-> p q))
  '(and (or (not p) q) (or (not q) p)))
(test-end "logic-1")