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)
“Matter-of-fact descriptions make the improbable seem real.”
—Mason Cooley (b. 1927)