conjunction

Associative, commutative, idempotent operator that chooses a value.

Return

a result satisfying conjunction properties

Parameters

x

first available value

y

second available value