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.