Аннотация:
Предлагается алгоритм построения эквивалентной нормальной формы, используемой при построении тестов комбинационных схем, по структуре комбинационной схемы. Решение задачи сводится к операциям над двоичными матрицами, причем исключаются какие-либо преобразования булевых формул.
Полный текст:
PDF файл (1082 kB)