AND

Subtype of Boolean Operation

Applies only in a context where there are at least two input boolean variables.
It then specifies the transformation of the input boolean variables to one single output boolean variable that represents their logical conjunction.
Formally:
(x , y) → x && y
In words:
It produces an output of TRUE if all input variables are TRUE
It produces an output of FALSE in all other cases.