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)
“The fundamental laws of physics do not describe true facts about reality. Rendered as descriptions of facts, they are false; amended to be true, they lose their explanatory force.”
—Nancy Cartwright (b. 1945)