logical operator

implies.clj

(ns logic
  (:use [clojure.test]))

(defmacro implies [p q] `(or (not ~p) ~q))

(deftest test-implies
  (are [e p q] (= e (implies p q)) 
       true true true
       false true false
       true false true
       true false false))

(defmacro xor [p q] `(or (and ~p (not ~q)) (and (not ~p) ~q)))

(deftest test-xor
  (are [e p q] (= e (xor p q))
       false true true
       true true false
       true false true
       false false false))