NCNU LISP hand write 1

Q:

(define (A x y )

   (cond((= y 0) 0)

            ((= x 0) (* 2 y))

            ((= y 1) 2)

            (else (A (- x 1)  (A x (- y 1 )))))

 )

(define (h n) (A 2 n ) )的結果&證明

A: