- صورت نرمال ترکیب فصلی DNF

- صورت نرمال ترکیب عطفی CNF

- صورت نرمال ترکیب فصلی اساسی PDNF

- صورت نرمال ترکیب عطفی اساسی PCNF