Развёртывание элементарных конъюнкций

1. В развертываемую элементарную конъюнкцию ранга вводятся в качестве дополнительных сомножителей единиц, где – число высказываний и .

2. Каждая единица представляется в виде , где – высказывание, отсутствующее в исходной конъюнкции.

3. Производится раскрытие всех скобок на основе распределительного закона 1-го рода, что приводит к развертыванию исходной конъюнкции ранга в логическую сумму КЕ.

Пример. Развернуть конъюнкцию . Здесь предполагается, что число высказываний , но два из них отсутствуют, тогда:

1.

2. .

3.

= .