For reference here are a few of the truth functions commonly named in propositional calculus and their operators.
||Joint Denial or
|Exclusive Disjunction or
||Alternative Denial or
Contradiction A contradiction returns zero for all condition values.
Tautology A tautology returns one for all condition values.