Полузаказные БИС на БМК серий 5503 и 5507

2-82 кона нулевого множества (2.6): логическое произведение двух соседних сумм некото-рого ранга r можно заменить одной элементарной суммой ранга r – 1, являющейся общей частью исходных сомножителей.Пример: yxxxxxxxxx xx xxx ()() ()()210210102 20100.Правило поглощенияПравило поглощения для суммы двух элементарных произведений следу-ет из распределительного закона первого рода (2.13) и законов универсального множества (2.5): логическую сумму двух элементарных произведений разных рангов, из которых одно является составной частью другого, можно заменить произведени-ем, имеющим меньший ранг.Пример: y x xx x x xx xx xx xx x 3 13 2 1 03 12 03 13 111().Правило поглощения для произведения двух элементарных сумм следует из распределительного закона второго рода (2.14) и законов нулевого множества (2.6): логическое произведение двух элементарных сумм разных рангов, из которых одна является составной частью другой, можно заменить элементарной суммой, имеющей меньший ранг.Пример: yxxxxxxxxxxxx()() ()()3132103132100 ()() ()xxxxxxxx3120313100 xx31. Правило развёртыванияЭто правило определяет действия, обратные склеиванию.Правило развёртывания элементарного произведения в логическую сумму элементарных произведений большего ранга (в пределе до r = n, т.е. до конститу-ент единицы, как и будет рассмотрено ниже) следует из законов универсального множества (2.5), распределительного закона первого рода (2.13) и производится в три этапа:- в развёртываемое элементарное произведение ранга r вводится в качестве сомножителей n — r единиц, где n — ранг конституенты единицы;- каждая единица заменяется логической суммой некоторой не имеющейся в исходном элементарном произведении переменной и её отрицания: xxii1 ;- производится раскрытие всех скобок на основе распределительного закона первого рода (2.13), что приводит к развёртыванию исходного элементарного про-изведения ранга r в логическую сумму 2n−r конституент единицы.Пример: требуется раз...