Alternative Descriptions
The form (x = y) is equivalent to the form (x ∧ y) ∨ (¬x ∧ ¬y).
For the operands x and y, the truth table of the logical equality operator is as follows:
| y | |||
|---|---|---|---|
| T | F | ||
| x | T | T | F |
| F | F | T | |
Read more about this topic: Logical Equality
Famous quotes containing the words alternative and/or descriptions:
“If you have abandoned one faith, do not abandon all faith. There is always an alternative to the faith we lose. Or is it the same faith under another mask?”
—Graham Greene (1904–1991)
“Matter-of-fact descriptions make the improbable seem real.”
—Mason Cooley (b. 1927)