Logic
| Expression | Meaning |
|---|---|
| p ⋀ q | p AND q |
| p ⋁ q | p OR q |
| p ⨁ q | p XOR q |
| p → q | if p then q |
| p ↔ q | p if and only if q, p if q |
Truth Table
| p | q | p ⋀ q | p ⋁ q | p ⨁ q | p → q | p ↔ q |
|---|---|---|---|---|---|---|
| T | T | T | T | F | T | T |
| T | F | F | T | T | F | F |
| F | T | F | T | T | T | F |
| F | F | F | F | F | T | T |
| Expression | Meaning |
|---|---|
| p ⋀ q | p AND q |
| p ⋁ q | p OR q |
| p ⨁ q | p XOR q |
| p → q | if p then q |
| p ↔ q | p if and only if q, p if q |
| p | q | p ⋀ q | p ⋁ q | p ⨁ q | p → q | p ↔ q |
|---|---|---|---|---|---|---|
| T | T | T | T | F | T | T |
| T | F | F | T | T | F | F |
| F | T | F | T | T | T | F |
| F | F | F | F | F | T | T |