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