Update the Boolean Algebra documentation

Add a table of all possible binary Boolean operators.
Add some info about bitvec
Add some PicoSAT info to README, etc