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

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

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

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

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


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: