Changes

'''[[Logical negation]]''' is an operation on one logical value, typically the value of a proposition, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.

'''[[Logical negation]]''' is an operation on one logical value, typically the value of a proposition, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.

The [[truth table]] of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> appears below:

The truth table of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> appears below:

<br>

<br>