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


(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.

domain access counter Georg P. Loczewski 2004-03-05