and ==

The and function returns the logical AND of two real numbers or the bitwise AND of two integers, as follows:

a b->c

#a #b->#c

A true result is represented by the real number one. A false result is represented by the real number zero.