We may take next disjunction, "

or

." This is a function whose truth-value is truth when

is true and also when

is true, but is falsehood when both