robdd.clj

(match [x1 y1 x2 y2]
  [1 1 1 1] 1
  [1 1 1 0] 0
  [1 1 0 1] 0
  [1 1 0 0] 1
  [1 0 _ _] 0
  [0 1 _ _] 0
  [0 0 1 1] 1
  [0 0 1 0] 0
  [0 0 0 1] 0
  [0 0 0 0] 1)

;; produces >>

(cond
  (= x1 1) (cond
             (= y1 1) (cond
                        (= x2 1) (cond
                                   (= y2 1) 1
                                   (= y2 0) 0)
                        (= x2 0) (cond
                                   (= y2 1) 0
                                   (= y2 0) 1))
             (= y1 0) 0)
  (= x1 0) (cond
             (= y1 1) 0
             (= y1 0) (cond
                        (= x2 1) (cond
                                   (= y2 1) 1
                                   (= y2 0) 0)
                        (= x2 0) (cond
                                   (= y2 1) 0
                                   (= y2 0) 1))))