}}
Элементарная конъюнкция
* '''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);
* '''полная''', если в неё каждая переменная (или её отрицание) входит ровно 1 раз;
* '''монотонная''', если она не содержит отрицаний переменных.
