Pure literal elimination  If a propositional variable occurs with only one polarity in the formula, it is called pure.
Pure literal elimination  Ако се исказна променљива јавља само са једним поларитетом у формули, зове се чиста.