Элементарные конъюнкции и дизъюнкции

Элементарной конъюнкцией называется выражение, представляющее собой конъюнкцию любого числа независимых переменных, входящих в данное выражение с инверсией или без нее не более одного раза.

Например :

х у z ;  

;  

;  

;  

;   z 1;  1 – элементарные конъюнкции.

; 

;

 – не являются элементарными конъюнкциями.

Элементарной дизъюнкцией называется выражение, представляющее собой дизъюнкцию любого числа независимых переменных, входящих в данное выражение с инверсией или без нее не более одного раза.

Например :

х + у + z ; 

; 

;  х ;  у + 0 ;  0 – элементарные дизъюнкции.

х у + z ;  х +
у + х – не элементарные дизъюнкции.

Количество переменных в элементарном выражении называется его длиной
и определяет его ранг.

Например :

Конъюнкция 

 является конъюнкцией третьего ранга.