Представлен алгебро-логический метод дешифрации результатов тестирования цифровых систем. Существенным этапом дешифрации является поглощение членов большей длины членами меньшей длины, которые определяют диагноз: подмножество компонентов, подозреваемых в неисправности. Если это подмножество одно, то диагноз правильный, если таких подмножеств несколько, то диагноз неоднозначен, для его уточнения нужны дополнительные действия. Дан пример дешифрации результатов проверок, полученных при тестировании системы из трех абонентов и трех коммутаторов.