Rövid szöveges bemutatás:
Az egységterjesztés nem más mint egy következtetési lánc, mely egy egységklózzal indul. Az egységklóz értékét úgy állítjuk be, hogy igaz értéket vegyen fel. Ezután minden olyan klóz ami két literálból állt, és az egyik az előző lépésben megkötött literál volt, az ezután egységklózzá válik és így annak a változónak az értékét is meg tudjuk kötni, úgy, hogy az egységklóz igazzá váljon. Ezt a láncot nevezzük egységterjesztésnek, mely addig folytatódik ameddig ezzel a módszerrel újabb és újabb egységklózok képezhetőek.