1.  Identity:  X=X

2.  Non Contradiction X: does not = -X

3.  Excluded Middle:  X is not both X and -X