Order of Operations
- ~ (Not)
- and are coequal in order of operation (for CS1231S)
- and are coequal in order of operation
Examples
is unambiguous is ambiguous
Not (Negation)
Symbol
~ (also )
Truth Table
| p | ~p |
|---|---|
| T | F |
| F | T |
And (Conjuction)
Symbol
Truth Table
| p | q | p q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
Or (Disjunction)
Symbol
Truth Table
| p | q | p q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
Xor
Symbol
(Not used for CS1231S)
Truth Table
| T | T | T | T | F | F |
| T | F | T | F | T | T |
| F | T | T | F | T | T |
| F | F | F | F | T | F |
Implies (Logical Conditional Statements)
Symbol
Truth Table
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
If and Only If (Logical Biconditional Statements)
Symbol
Truth Table
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |