было значение есть. В этом случае будем говорить, что измерение 
находится в состоянии есть (в возбужденном состоянии). Выбранная модель признаков предполагает, что при наличии определенных свойств объекта определенные измеряющие устройства будут в возбужденном состоянии, а также что несколько признаков могут комбинироваться и это приведет к тому же результату измерения. Поэтому признак можно рассматривать как двоичный вектор 
длины 
для которого 
тогда и только тогда, когда признак 
дает в результате измерения 
значение есть. Пусть 
— булево сложение, т. е.
Будем обозначать 
булеву сумму нескольких двоичных переменных. Пусть 
— неизвестное множество признаков, характеризующих объект 
тогда вектор описания принимает вид
Равенство (7) можно записать в более компактной форме. Пусть 
— булево умножение матриц, т. е. операция, в которой 2 заменяется на 
а в остальном умножение матриц определяется, как обычно. Наконец, пусть В — 
-матрица, элемент 
которой отличен от нуля тогда и только тогда, когда объект 
имеет признак 
:
Уравнение (8) соответствует множеству булевых уравнений. К сожалению, иногда решить их практически бывает трудно, поэтому разработан ряд эвристических конструктивных методов для выделения признаков. Они излагаются в следующем разделе.
указывает на то, что при измерении объекта 
результатом 
измерения, принимающего два возможных значения есть и нет,
