Truth Tables
| Disjunction (OR/+/UNION) | Conjunction (AND/*/INTERSECTION) | |||||
| p | q | pVq | p | q | p^q | |
| T | T | T | T | T | T | |
| T | F | T | T | F | F | |
| F | T | T | F | T | F | |
| F | F | F | F | F | F | |
| Negation(NOT/~/COMPLEMENT) | |
| p | ~p |
| T | F |
| F | T |
| Exclusive OR | Implication | |||||
| p | q | p | q | p->q | ||
| T | T | F | T | T | T | |
| T | F | T | T | F | F | |
| F | T | T | F | T | T | |
| F | F | F | F | F | T | |
| NOR (NOT OR)) | NAND (NOT AND) | ||
| p | q | ||
| T | T | F | F |
| T | F | F | T |
| F | T | F | T |
| F | F | T | T |
| Biconditional | ||
| p | q | p<->q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
See table for equivelent symbols in Boolean Algebra and Set Theory.
You are the visitor to this site.