(defmacro andor4 (a1 a2 a3 a4)
(list 'and (list 'orx a1 a2) (list 'or a3 a4)))




(and (or a1 a2) (or a3 a4))

(list 'and (list 'or a1 a2) (list 'or a3 a4))


( defun innerProduct ( mtx ) 
( reduce ‘+ ( mapcar ‘* (car mtx) ( cadr mtx )  )  )  )


( defun innerProduct2 ( f1 f2 mtx ) (reduce f1 ( mapcar f2 (car mtx) ( cadr mtx )  )  ))