CS212 Problem Sets
PS3 - Problem 2 Clarification

Okay, after much confusion, this is the definitive answer to the associativity and meaning of n-ary implies.

(nary->binary '(implies a b c))
==> (implies a (implies b c))

Similarly

(nary->binary '(and a b c))
==> (and a (and b c)))

(nary->binary '(or a b c))
==> (or a (or b c))

For problem 2: You are responsible for all the binary connectives: and, or, implies. They should all associate to the right.