ВУЗ:
Составители:
Рубрика:
32
строки, затем к их объединению добавляется третья строка и т. д., наконец, к
объединению n–1 строк добавляется последняя n-я строка.
1.3.4.1. Деление схемы на две части по трем узлам
Пусть схема образована в результате объединения двух подсхем с тремя
внешними узлами, как показано на рис. 1.3.7. Двоичное отображение формулы,
обобщающей формулы (1.3.3) и (1.3.4) и предусматривающей деление схемы на
две части по узлам a, b и c, имеет вид
∆ = ∆1(0000)∆2(1111) + ∆1(0101)∆2(1010) – ∆1(0110)∆2 (1001) –
– ∆1(1001)∆2(0110) + ∆1(1010)∆2(0101) + ∆1(1111)∆2 (0000) . (1.3.5)
Таким образом, слагаемые этой формулы представлены шестью парами ДВ.
Векторы каждой пары взаимно дополняют друг друга (как минор и
соответствующий минор [41]), отображая сомножители формулы. Кортеж
общих (или внешних) узлов подсхем, являющийся обозначением позиций ДВ,
имеет вид: (a, b, a, b) или кратко abab. Узел c является базисным узлом для
обеих подсхем.
Рис. 1.3.7. Деление схемы по трем узлам
В силу одинаковой четности номеров строк и столбцов взаимно
дополнительных миноров, информацию о знаке слагаемого можно получить из
расположения единиц в одном из векторов пары. Принимается во внимание
порядковый номер единицы в той или иной половине ДВ. Положительный
(отрицательный) знак выбирается в случае четной (нечетной) суммы
порядковых номеров позиций, содержащих единицы, в ДВ. Убедитесь в этом
самостоятельно на примере формулы (1.3.5).
1.3.4.2. Общий случай деления на подсхемы
Формирование множества ДВ подсхемы не встречает затруднений. Самое
простое решение состоит в том, чтобы перебирать 2n-разрядные двоичные
a
2
1
b
c
Страницы
- « первая
- ‹ предыдущая
- …
- 31
- 32
- 33
- 34
- 35
- …
- следующая ›
- последняя »
