Truth Table Monkey
Why bother doing truth tables by hand when you can have a computer do it?
| a | b | and(a, b) | or(a, b) | or(and(a, b), a) | implies(or(a, b), b) |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 |
| a | b | and(a, b) | or(a, b) | or(and(a, b), a) | implies(or(a, b), b) |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 |