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