:: deftheorem Def3 defines 'xor' FACIRC_1:def 4 :
for b₁ being Function of (2 -tuples_on BOOLEAN),BOOLEAN holds
( b₁ = 'xor' iff for x, y being Element of BOOLEAN holds b₁ . <*x,y*> = x 'xor' y );