Carry operator

{{Short description|Symbol}}

{{one source |date=April 2024}}

The carry operator, symbolized by the ¢ sign, is an abstraction of the operation of determining whether a portion of an adder network generates or propagates a carry. It is defined as follows:

:$(G\_1,\; P\_1)\; \backslash$ ¢ $(G\_2,\; P\_2)\; =\; (G\_1\; \backslash lor\; G\_2\; P\_1,\; P\_2\; P\_1)$