Характеризация минимальных сумматоров двух и трех переменных

С точностью до графовых изоморфизмов построены все плоские сумматоры двух и трех логических переменных, использующие минимальное количество элементов типа И-НЕ.