8.3.2. Коды и геометрическое представление коньюнкций
Элементарные конъюнкции отличаются расстановкой знаков отрицания над переменными, поэтому каждая такая конъюнкция однозначно определяется двоичным набором 
, на котором она принимает значение единицы. Задание конъюнкций ранга r < n с помощью двоичных наборов не является однозначным, поскольку по такому набору нельзя
установить, какие переменные входят в конъюнкцию. Для указания отсутствующих переменных вводят третье значение компонентов определяющего набора, которое обозначают буквой z. При этом считают, что эта буква, стоящая на i-м месте в наборе, определяющем конъюнкцию, показывает, что переменная хi в рассматриваемой конъюнкции отсутствует. Тогда набор 0zz10 определяет
конъюнкцию 
, набор z1011 - конъюнкцию 
, а набор zz0zz - конъюнкцию 
. Компоненты набора, равные 0 и 1, называют связанными
компонентами, а компоненты, равные z - свободными компонентами. Число связанных компонентов набора называют рангом этого набора. Ранг набора всегда совпадает с рангом конъюнкции, соответствующей
этому набору.
В 8.3.1 описан способ задания переключательных функций в виде совокупностей конъюнкций, соответствующих некоторой ДНФ функции. Подобно этому способу можно использовать задание функций в виде совокупности определяющих наборов (кодов), поскольку между конъюнкциями и наборами установлено взаимно однозначное соответствие. Обозначим множество наборов ранга r,связанных с заданной функцией, Cr(φ), а комплекс всех наборов - C(φ), причем C(φ) = C n(φ) ∪ Cn-1(φ) ∪...∪ C1(φ).
Используя соответствие между конъюнкциями и кодами, нетрудно сформулировать правила выполнения операций склеивания и расширения применительно к троичным кодам. Два набора одного и того же ранга, у которых свободные компоненты расположены на одинаковых местах, а все связанные компоненты, за исключением одного, совпадают, называются смежными. Смежные коды соответствуют склеивающимся конъюнкциям.
Между конъюнкциями и кодами существует взаимно однозначное соответствие. Например, кодам 001 и 011, которые являются смежными, соответствуют конъюнкции 
и 
, при склеивании которых получаем конъюнкцию меньшего ранга: 
, которой соответствует код 0z1.
В случае геометрического представления склеивающимся наборам 
соответствуют вершины куба, соединенные ребром, как это показано на рис. 8.25. Обозначим каждое ребро куба кодом конъюнкции ранга n-1, представляющим собой результат склеивания противоположных вершин. Тогда противолежащие ребра, находящиеся в одной плоскости, будут соответствовать склеивающимся конъюнкциям ранга n-1. При этом грань куба можно обозначить кодом, полученным в результате склеивания кодов, соответствующих противоположным ребрам.
Соответствие между гранями куба и кодами показано на рис. 8.26. Для наглядности на рис. 8.26, а показаны видимые, а на рис. 8.26, б – невидимые грани 3-х мерного куба.
 |
 |
|
a) |
b) |
|
Рис. 8.26 |
||
В общем случае соответствие между конъюнкциями, кодами и гранями гиперкубов сохраняется для любых рангов.
Результат склеивания смежных кодов можно получить путем замены в любом из них связанного компонента, которым они отличаются, свободным компонентом z. Например, наборы 01zz1z и 01zz0z являются смежными. В результате их склеивания получается набор 01zzzz. Исходным кодам соответствуют трехмерные грани шестимерного гиперкуба, а результату склеивания соответствует четырехмерный гиперкуб, являющийся частью шестимерного гиперкуба.
Совокупность двоичных наборов, из которых с помощью операции склеивания может быть получен код “а”, назовем интервалом этого кода и будем обозначать С(а). Построение интервала С(а) по заданному коду “а” может быть выполнено с помощью операции расширения. Эта операция заключается в том, что каждый свободный компонент а последовательно заменяется 0 и 1. Если код а = (а1, а2,..., аn) имеет L свободных компонентов, то в результате операции расширения получается 2L двоичных наборов ранга n. Например, интервал кода а = 01zz1 имеет вид: С(а) = {01001, 01011, 01101, 01111}.