Egy adott logikai függvény több formában is felírható.

Pl.: F⁴ = A

F⁴ = A+AB

F⁴ = AC+AD+A

Az itt felírt 3 db függvénynek ugyanaz az értéke, amely csak az egyszerűsítések után látszik igazán, ezért az egységes kezelés érdekében két jól megkülönböztethető függvényforma használatos. Ezek a következők:

• DISZJUNKTÍV ALAK (MINTERMES FORMA),
• KONJUNKTÍV ALAK (MAXTERMES FORMA).

Az elnevezések jelentését a következő egységben részletezzük.

Egy adott függvény ilyen formában történő felírásához szükségünk van a logikai algebra azonosságainak, vagy a táblázatos módszerek használatának ismeretére.

Először a logikai algebra azonosságait fogjuk használni.