О минимальной реализации двоичного сумматорастатья