Representation of Boolean Functions