Normální formy formulí se dají konstruovat aplikací distributivních zákonů, uniformní interpolanty vynecháním výskytů dané proměnné ve vhodné normální formě dané formule.
