Description: Definition of the "carry" output of the full adder. It is true when at
least two arguments are true, so it is equal to the "majority" function on
three variables. See cador and cadan for alternate definitions.
(Contributed by Mario Carneiro, 4-Sep-2016)