n (mathematics|logic) A unary operation on logical values that changes true to false, and false to true.