Changes

'''Logical equality''' is an operation on two logical values, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both operands are false or both operands are true.

'''Logical equality''' is an operation on two logical values, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both operands are false or both operands are true.

The [[truth table]] of <math>p ~\operatorname{EQ}~ q,</math> also written as <math>p = q,\!</math> <math>p \Leftrightarrow q,\!</math> or <math>p \equiv q,\!</math> is as follows:

The [[truth table]] of <math>p ~\operatorname{EQ}~ q,</math> also written <math>p = q,\!</math> <math>p \Leftrightarrow q,\!</math> or <math>p \equiv q,\!</math> appears below:

<br>

<br>