In a full adder, the Carry-out expression is:

Trong một bộ cộng đầy đủ (full adder), Carry-out (đầu ra mang) được xác định bởi biểu thức AB + ACin + BCin. Biểu thức này được sử dụng để tính toán đầu ra mang của bộ cộng. Khi cả A và B là 1, thì đầu ra mang sẽ là 1. Khi A và B là 0, nhưng một trong ACin hoặc BCin là 1, thì đầu ra mang cũng sẽ là 1. Biểu thức này đảm bảo rằng đầu ra mang được tính toán chính xác dựa trên các đầu vào A, B và Cin.