2015-03-22
601
| Высказывания | КЕ | ||||
| 
| 
| 
| 
| 
|
Таблица 8
Все КН для двух высказываний
| Высказывания | КН | ||||
|
|
| 
| 
| 
| 
|
Развёртывание элементарных конъюнкций
1. В развертываемую элементарную конъюнкцию ранга 
вводятся в качестве дополнительных сомножителей 
единиц, где 
– число высказываний и 
.
2. Каждая единица представляется в виде 
, где 
– высказывание, отсутствующее в исходной конъюнкции.
3. Производится раскрытие всех скобок на основе распределительного закона 1-го рода, что приводит к развертыванию исходной конъюнкции ранга в логическую сумму 
КЕ.
Пример. Развернуть конъюнкцию 
. Здесь предполагается, что число высказываний 
, но два из них отсутствуют, тогда:
1. 
2. 
.
3. 
.
