User Tools

Site Tools


opus:fall2012:smalik2:discretepart1

Discrete keyword 1

exclusive disjunction/nonequivalence

Definition

Exclusive disjunction means that only one can be true, but not both. It's basically an XOR.

References

discrete Keyword 1 Phase 2

Affirmation/Validity/Tautology

Definition

Everything is always evaluated as true

References

  • Tautology wikipedia page

Demonstration

P  |  Q  |  X
----------------
0  |  0  |  1
0  |  1  |  1
1  |  0  |  1
1  |  1  |  1
----------------
opus/fall2012/smalik2/discretepart1.txt · Last modified: 2012/10/01 04:57 by smalik2