Függvények helyettesítése

Az ismertetett helyettesítésekkel a diszjunktív, valamint konjunktív kanonikus alakú függvények is rövidebben írhatók.

Vegyük példának az előzőekben felírt függvények alaki helyettesítését az




változó súlyozás alkalmazásával:




A függvények felírása tovább is egyszerűsíthető oly módon, hogy

     - megadjuk a függvényalakot

     - a változók számát, és

     - a függvényben szereplő termek sorszámait.

A diszjunktív alakot a


         

a konjunktív alakot a

         

formában írjuk.

A két minta függvény egyszerűsített felírása (ugyanazon változó-súlyozást alkalmazva):