next up previous contents index
Next: or Up: Extended Logical Abstractions Previous: not   Contents   Start

and


(define and (lambda (a b)
               (if a b a)))

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


Impressum und Datenschutz