Logical conjunction (source code)

= Logical conjunction
{wiki}

The conjunction $u\mathbin\wedge v$ is one exactly when both inputs are one.