A kombinációs logikai áramkörök megoldásához az igazságtáblát bemenetként kell kezelni, mivel ez tartalmazza az összes bemeneti és kimeneti kombinációt. Az igazságtáblát bemenetként véve a logikai függvény kétféle alakban állítható fel:

(1)    Első kanonikus vagy diszjunktív kanonikus alak (szorzat vagy szabályos szorzatok összege)

(2)    Második kanonikus alak vagy konjuktív kanonikus alak (összeadások vagy normál összegek szorzata).

Az első kanonikus alakban az SoP (Sum of Products - szorzatok összegét) a szabályos szorzatok összegeként kapjuk, amely 1-et ad végeredményként. A szabályos szorzatban 0-t rendelünk az inverz változóhoz és 1-et a direkt változóhoz (Shannon-tétel).

A második kanonikus alakban a PoS-et a korábbi duális alakjában kapjuk meg, azaz azoknak a normál szorzatoknak a szorzásával, amelyek szorzatoszlopa 0. A normál szorzat a szabályos szorzat duálisa.

Lássuk az alábbi példát: