Boolean Truth Tables
- Boole's system is made of "propositional symbols", which are usually letters of the alphabet (P and Q, C and Z, it doesn't really matter).
- logical operators
- 0 = false and 1 = true in Boolean logic
- arithmetic can be done using Boolean logic! I'm not entirely sure how, but it's good to know that someone can do it.
Circuits
- an extension of Boolean logic: the logical operators listed above can be used as "logic gates" in circuits
- all truth tables can be expressed as circuits
- the NOT gate looks very cute when decorated as Rudolph the Red-Nosed Reindeer