Text this: Formulas of first-order logic in distributive normal form