brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-gonai

---

Definition df-gonai 225

Description: Standard constructive definition of mutual exclusion ("the exclusive OR"), based on the mnemonic given to computer scientists in the USA and UK: "It's cake or tea, but not cake and tea." Definition df-xor in [ILE] p. 0.

Assertion

Ref	Expression
df-gonai	⊢ go gonai broda gi brode gi ge ga broda gi brode gi naku zo'u ge broda gi brode

---

This definition is referenced by:  gonaii  226  gonairi  229

Copyright terms: Public domain

W3C validator