Finish computer parts first

Logic!

Notation:  Sorry, but there are like 3 symbols for everything

Ones we need:
	Not
	and
	Or
	Xor
	Nand
	Nor
	
Once you should probably know anyway:
	Forall
	Exists
	Implies
	Because these show up in formula and such

Algebra over these:
	(A and B) or (C and D) equivalency
	Distributing a not

C note:  C has logical AND bitwise versions of these
	Example:  Two nots

Truth tables and expressions:
	Generate a truth table for an expression