Syntax Definition whad 1378

Description: Define the half adder (triple XOR). (Contributed by Mario Carneiro, 4-Sep-2016.)

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ
wch	wff χ

Assertion

Ref	Expression
whad	wff hadd(φ, ψ, χ)

See definition df-had 1380 for more information.