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)
“Our Lamaze instructor . . . assured our class . . . that our cervix muscles would become “naturally numb” as they swelled and stretched, and deep breathing would turn the final explosions of pain into “manageable discomfort.” This descriptions turned out to be as accurate as, say a steward advising passengers aboard the Titanic to prepare for a brisk but bracing swim.”
—Mary Kay Blakely (20th century)