формула, яка містить тільки

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

формула, яка містить тільки кон’юнкцію деякого

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

формула, яка не містить інших логічних зв'язок,

крім заперечення кон’юнкції і заперечення диз’юнкції;

формула, яка не містить інших логічних

зв'язок, крім кон’юнкції, диз’юнкції і заперечення;

формула, яка містить тільки диз’юнкцію деякого

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