Вопросы теории Модели и методики Theoretical approach Models and methods № 3 (51) 2014 Journal of applied informatiCs А. А. Любомудров, канд. техн. наук, доцент кафедры компьютерных систем и технологий НИЯУ «МИФИ», Москва, liubomudrov@yandex.ru Подход к определению принадлежности функций алгебры логики к классу линейных функций В работе предлагается и обосновывается удобный подход к определению принадлежности функций алгебры логики к классу линейных функций Этот подход предполагает разбиение области значений функций на подмножества с последующим визуальным и, в случае необходимости, дополнительным аналитическим анализом сформированных подмножеств Ключевые слова: функции алгебры логики, класс линейных функций, принадлежность к классу введение функций алгебры логики (ФАЛ). <...> Использование этого аппарата позволяет синтезировать логические схемы, производить анализ работоспособности синтезированных схем, минимизировать аппаратные затраты. <...> При использовании аппарата ФАЛ характерной особенностью является то, что для построения ЭВМ или устройств заданного класса применяются, как правило, ограниченные наборы логических функций, обладающие функциональной полнотой, т. е. наборы функций, на основе суперпозиции которых возможно реализовать любую функцию алгебры логики и соответственно синтезировать произвольные логические устройства. <...> Так, например, при разработке и построении ЭВМ первого и второго поколений использовался преимущественно функционально полный набор, содержащий такие функции алгебры логики, как И, ИЛИ, НЕ [1–5]. <...> Очевидно, что при развитии схемотехники, микро- и наноэлектроники функционально полные наборы для синтеза и анализа устройств различных классов могут быть различны. <...> Однако здесь возникает задача проверки О 124 theoretical approach models and methods дним из основных теоретических аппаратов, применяемых при построении ЭВМ, является аппарат выбранного для работ набора функций алгебры логики на функциональную полноту. <...> Эта <...>