# Changes

,  11:20, 15 May 2012
no edit summary
Line 3: Line 3:
'''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 $p ~\operatorname{EQ}~ q,$ also written as $p = q,\!$ $p \Leftrightarrow q,\!$ or $p \equiv q,\!$ is as follows:
+
The [[truth table]] of $p ~\operatorname{EQ}~ q,$ also written $p = q,\!$ $p \Leftrightarrow q,\!$ or $p \equiv q,\!$ appears below:

<br>

<br>
12,074

edits