При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида---Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995--1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке практически эффективных методов, алгоритмов и программ для ее решения. Полученные результаты опубликованы в серии научных статей и обобщаются в настоящей книге.Предназначена для студентов, аспирантов и специалистов в области проектирования логических схем.