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