Logical disjunction (source code)

= Logical disjunction
{wiki}

The disjunction $u\mathbin\vee v$ is one exactly when at least one input is one.