Truth Table
| p | q | p ∧ q | p ∨ q | p ⇒ q | p ⇔ q |
| T | T | T | T | T | T |
| T | F | F | T | F | F |
| F | T | F | T | T | F |
| F | F | F | F | T | T |
Logical Negation
| p | ~p |
| T | F |
| F | T |
Logical Disjunction
| p | q | p ∨ q |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
Logical Conjunction
| p | q | p ∧ q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
Logical Implication
| p | q | p ⇒ q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Logical Inverse
| p | q | ~p ⇒ ~q |
| T | T | T |
| T | F | T |
| F | T | F |
| F | F | T |
Logical Converse
| p | q | q ⇒ p |
| T | T | T |
| T | F | T |
| F | T | F |
| F | F | T |
Logical Contrapositive
| p | q | ~q ⇒ ~p |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Implication | : | p ⇒ q |
| Inverse | : | ~p ⇒ ~q |
| Converse | : | q ⇒ p |
| Contrapositive | : | ~q ⇒ ~p |
| Negation | : | p ∧ ~q |
