Programming Language: Clojure

Write one or more Clojure functions which perform symbolic simplification on (un-nested) expressions using the and logical connective. Be sure to generalize to all possible variables and valid numbers of arguments to and. For Example

mp=> (and-simplify '(and true))

true

mp=> (and-simplify '(and x true))

x

mp=> (and-simplify '(and true false x))

false

mp=> (and-simplify '(and x y z true))

(and x y z)