Syntax definition wcad

Description: Syntax for the "carry" output of the full adder. (Contributed by Mario Carneiro, 4-Sep-2016)

	Ref	Expression
Assertion	wcad	wff cadd ( 𝜑 , 𝜓 , 𝜒 )