Next: or
Up: Extended Logical Abstractions
Previous: not
Contents
Index
![\begin{lstlisting}[language=Scm,stepnumber=0]{}
(define and (lambda (a b)
(if a b a)))
\end{lstlisting}](img74.gif)
This abstraction returns `false' if a is false and b if
a is true. In the latter case everything depends on b,
whether `true' or `false' is returned.
Georg P. Loczewski
2004-03-05