The Truth Tables between two variables, A and B. There are 16 possibilities. I'm comparing the logic notation, the set notation, and the truth table. I'm also pairing each one with its complement.
A and B |
||||||||||||||||||||||||||||||||
A∧B |
logic |
¬(A∧B) or A→¬B |
||||||||||||||||||||||||||||||
A∩B |
set |
(A∩B)′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| A or B | ||||||||||||||||||||||||||||||||
A∨B |
logic |
¬(A∨B) |
||||||||||||||||||||||||||||||
A∪B |
set |
(A∪B)′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| A exclusive or B | ||||||||||||||||||||||||||||||||
¬(A∧B) |
logic |
A↔B |
||||||||||||||||||||||||||||||
(A∪B)−(A∩B) |
set |
((A∪B)−(A∩B))′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| name = ?? | ||||||||||||||||||||||||||||||||
A∧(¬B) |
logic |
A→B |
||||||||||||||||||||||||||||||
A∩B′ |
set |
|||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| always true | ||||||||||||||||||||||||||||||||
1 |
logic |
0 |
||||||||||||||||||||||||||||||
U |
set |
∅ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| always A | ||||||||||||||||||||||||||||||||
A |
logic |
¬A |
||||||||||||||||||||||||||||||
A |
set |
A′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| always B | ||||||||||||||||||||||||||||||||
B |
logic |
¬B |
||||||||||||||||||||||||||||||
B |
set |
B′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
| name = ?? | ||||||||||||||||||||||||||||||||
¬A∧B |
logic |
A∨¬B |
||||||||||||||||||||||||||||||
A′∩B |
set |
A∪B′ |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||