Examine the below main project. 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: 1 mp=> (and-simplify 'Cand true)) true mp=> (and-simplify 'Cand x true)) mp=> (and-simplify 'Cand true false x)) false 7 mp=> (and-simplify 'Cand x y z true)) 8 (and x y z Amino Examine the below main project. 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: 1 mp=> (and-simplify 'Cand true)) true mp=> (and-simplify 'Cand x true)) mp=> (and-simplify 'Cand true false x)) false 7 mp=> (and-simplify 'Cand x y z true)) 8 (and x y z Amino