Operador de transporte

El operador de acarreo , simbolizado por el signo ¢ , es una abstracción de la operación de determinar si una porción de una red sumadora genera o propaga un acarreo . Se define de la siguiente manera:

${\displaystyle (G_{1},P_{1})\ }$ ¢ ${\displaystyle (G_{2},P_{2})=(G_{1}\lor G_{2}P_{1},P_{2}P_{1})}$

• http://www.aoki.ecei.tohoku.ac.jp/arith/mg/algorithm.html