Three main operations: AND, OR, and NOT
AND: both operands must be TRUE for the
whole expression to be TRUE
OR: one or the other operand must be TRUE for
the whole expression to be TRUE
NOT: negation -- if the operand is TRUE then
the expression is FALSE; if the operand is
FALSE then the expression is TRUE
| A | B | A AND B |
|---|---|---|
| FALSE | FALSE | FALSE |
| FALSE | TRUE | FALSE |
| TRUE | FALSE | FALSE |
| TRUE | TRUE | TRUE |
| A | B | A OR B |
|---|---|---|
| FALSE | FALSE | FALSE |
| FALSE | TRUE | TRUE |
| TRUE | FALSE | TRUE |
| TRUE | TRUE | TRUE |
| A | NOT A |
|---|---|
| FALSE | TRUE |
| TRUE | FALSE |
| A | B | C | A OR B | (A OR B) AND C |
|---|---|---|---|---|
| FALSE | FALSE | FALSE | FALSE | FALSE |
| FALSE | FALSE | TRUE | FALSE | FALSE |
| FALSE | TRUE | FALSE | TRUE | FALSE |
| FALSE | TRUE | TRUE | TRUE | TRUE |
| TRUE | FALSE | FALSE | TRUE | FALSE |
| TRUE | FALSE | TRUE | TRUE | TRUE |
| TRUE | TRUE | FALSE | TRUE | FALSE |
| TRUE | TRUE | TRUE | TRUE | TRUE |
Identities for AND and OR operations
Commutatitive and Associative properties
DeMorgan's Laws