диз’юнкція деякого числа булевих змінних із запереченням.

кон’юнкція деякого числа булевих змінних без заперечення;

кон’юнкція деякого числа

булевих змінних із запереченням або без заперечення

диз’юнкція деякого числа елементарних кон’юнкцій;

диз’юнкція деякого числа елементарних диз’юнкцій;