26.1.15.1 Instruction and ¶

Synopsys:

and

Push the logical and of the two elements at the top of the stack.

Stack: ( INT INT -- INT INT INT )