:: deftheorem defines 2GatesCircOutput FACIRC_1:def 13 :
for x, y, c being object
for f being Function of (2 -tuples_on BOOLEAN),BOOLEAN holds 2GatesCircOutput (x,y,c,f) = [<*[<*x,y*>,f],c*>,f];