boolean-algebra logic Definition Negation The negation is a unary logical connective. For a formula , the formula is true exactly when is false, and false exactly when is true. Truth Table 0110 Circuit Notation IEC 60617-12 US ANSI 91-1984