Nearby theorems
|
|
brismu bridi |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > Home > Th. List > df-gonai | |||
| 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." |
| Ref | Expression |
|---|---|
| df-gonai | ⊢ go gonai broda gi brode gi ge ga broda gi brode gi naku ge broda gi brode |
| Copyright terms: Public domain | W3C validator |