And r←b∧c

r is the result of the scalar application of the and function, b c b \land c . For non-boolean arguments, see Least Common Multiple.