Canonical Normal Form by Wikipedia

...