=====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====
http://en.wikipedia.org/wiki/Exclusive_or\\

=====discrete Keyword 1 Phase 2=====
Affirmation/Validity/Tautology

====Definition====
Everything is always evaluated as true
====References====
  * Tautology wikipedia page
  
====Demonstration====
<cli>
P  |  Q  |  X
----------------
0  |  0  |  1
0  |  1  |  1
1  |  0  |  1
1  |  1  |  1
----------------
</cli>