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:
“A mental disease has swept the planet: banalization.... Presented with the alternative of love or a garbage disposal unit, young people of all countries have chosen the garbage disposal unit.”
—Ivan Chtcheglov (b. 1934)
“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)