A disjunction is true when one or both of its disjuncts (components) are true, and false when both of its disjuncts are false, as indicated in the table:
| Al is here | Bill is here | Al is here or Bill is here |
| True | True | True |
| True | False | True |
| False | True | True |
| False | False | False |
If a true disjunction has a false disjunct, we can deduce that the other disjunct is true, so the following are valid arguments (disjunctive syllogisms):
| Al or Bill is here | Al or Bill is here |
| Al is not here | Bill is not here |
| Therefore Bill is here (valid) | Therefore Al is here (valid) |
But if a true disjunction has a true disjunct, we cannot deduce that the other disjunct is false, so the following arguments are invalid (disjunctive fallacy):
| Al or Bill is here | Al or Bill is here |
| Al is here | Bill is here |
| So Bill is not here (invalid) | So Al is not here (invalid) |