boolean representation theorem