faktorálás

A rezolúciós következtetési szabály végrehajtása után előfordulhat, hogy egy literált gondolkodás nélkül kétszer leírnánk. Ez ugyanúgy helyes eredményre vezetne matematikailag, de érezzük, hogy nincs sok értelme tárolni az (A és A) vagy a (B vagy B) vagy az (A -> A) szabályt, mert ezek helyett logikailag azt írjuk csak le, hogy (A), (B), (A). Ezt a kikövetkeztetést, egyszerűsítést nevezzük faktorálásnak.