Add Bit Vectors application example to Boolean Algebra