nice tut but correct me if i am wrong...

...I thought boolean algebra was a collection of algebraic expressions about logic?

ie

x + (x y) = x
x (x + y) = x
x + (-x) = 1
x (-x) = 0 and the like....

i found a doc here about boolean algebra which is going on about something completely different ?!?!??!?

http://plato.stanford.edu/entries/boolalg-math/