Логич. куб – вектор размерности n, каждая координата которого может принимать одно из 5 знач.: 0, 1, Х, D, !D, где Х – неопределенное знач. Каждому эл-ту соответствует:

1) вырожденные кубы;

2) D-кубы;

3) тупиковые D-кубы.

Вырожд. кубы задают мин. Набор входных знач. обеспечивающие 0 или 1 на выходе логич. эл.

Любой паре вырожденных кубов А и В у которых знач. вых. координат и хотя бы одной вх. координаты различны соотв-ет D-куб.

Тупиковые D-кубы строятся для каждой пары вырожд. кубов, для которых знач. выходных координат одинаковы, а хотя бы одной входной отличаются.

Тестовый куб (TF) определяет сост. всех цепей. TF=(tf1…tfn). Каждая координата может принимать: D-если значение сигнала на линии j=1 при отсутствии неисправности, и j=0 при ее наличии. !D-если сигнал на линии j=0 при отсутствии неисправности, j=1 при наличии. 1 или 0 – если как неисправная или исправная схемы на линии 1 или 0 (неисправность не влияет на сост. сигн. в цепи). Следовательно, TF описывает сост. 2 сх – исправной и неисправной.