or

" and the rest. It follows that two truth-functions which have the same truth-value for all values of the argument are indistinguishable. For example, "

and

" is the negation of "not-

or not-