Boolformer: Symbolic Regression of Logic Functions with Transformers