Logic Opreations
Article Info
- Last Updated
- (36337d2)
Connectives
Relevent Modules: COMP101
| Operation | Symbol | LaTeX | Meaning |
|---|---|---|---|
| NOT | True iff argument is false | ||
| AND | ∧ | True iff both arguments are true | |
| OR | ∨ | True iff either (or both) arguments are true | |
| NAND | Same as NOT (AND) | ||
| NOR | Same at NOT (OR) | ||
| XOR | True iff either argument is true, but not both |
Set Theory
Relevent Modules: COMP170
| Operation | Symbol | LaTeX | Meaning |
|---|---|---|---|
| union | ∪ | The elements in either (or both) sets | |
| intersection | ∩ | The elements only present in both sets | |
| difference | The elments present in one set but not the other | ||
| element of | ∈ | Does this set contain this element? |