Bits of Logic