And[x->BOOLEAN, y->BOOLEAN] =: BOOLEAN
And computes the logical conjunction of x and y, defined by the truth table:
x && y, x AND y.
Not, Or.