Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

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



1. В развертываемую дизъюнкцию ранга вводится n-r нулей.

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

3. Полученная сумма преобразуется с помощью распределительного закона 2-го рода в логическое произведение КН.

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





Дата публикования: 2015-01-10; Прочитано: 201 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.01 с)...