And

Name

And -- Returns the logical conjunction of two boolean values

Synopsis

And[x->BOOLEAN, y->BOOLEAN] =: BOOLEAN 

Description

And computes the logical conjunction of x and y, defined by the truth table:

 TrueFalseUnknown
TrueTrueFalseUnknown
FalseFalseFalseFalse
UnknownUnknownFalseUnknown

Short forms

x && y, x AND y.

See also

Not, Or.