Distributive Normal Forms in First-Order Logic