1. В развертываемую дизъюнкцию ранга
вводится n-r нулей.
2. Каждый нуль представляется произведением
, где
– высказывание, отсутствующее в исходной дизъюнкции.
3. Полученная сумма преобразуется с помощью распределительного закона 2-го рода в логическое произведение
КН.
Пример. Развернуть дизъюнкцию
. Здесь число высказываний
, отсутствует высказывание
:







