nichtor
Nichtor is a term used to describe a logical operator that implements the negation of disjunction. For two inputs A and B, nichtor yields true exactly when both A and B are false; equivalently, it is not (A or B), a function commonly known as the NOR operation. In logic and digital electronics, nichtor is often treated as synonymous with NOR.
Etymology and usage: The term combines German nicht (not) with English or, signaling the negated disjunction
Properties and role: Nichtor is a commutative binary connective but is not generally associative. It is functionally
Contexts: In puzzle communities and educational wikis, nichtor is used as a stand-in operator in truth-table