![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
1. В развертываемую элементарную конъюнкцию ранга вводятся в качестве дополнительных сомножителей
единиц, где
– число высказываний и
.
2. Каждая единица представляется в виде , где
– высказывание, отсутствующее в исходной конъюнкции.
3. Производится раскрытие всех скобок на основе распределительного закона 1-го рода, что приводит к развертыванию исходной конъюнкции ранга в логическую сумму
КЕ.
Пример. Развернуть конъюнкцию . Здесь предполагается, что число высказываний
, но два из них отсутствуют, тогда:
1.
2. .
3.
= .
Дата публикования: 2015-01-10; Прочитано: 416 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!