Changes

3 bytes removed ,  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 <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>
12,080

edits