MyWikiBiz, Author Your Legacy — Tuesday April 23, 2024
Jump to navigationJump to search
3 bytes removed
, 11:20, 15 May 2012
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> |