:: deftheorem defines MajorityICirc FACIRC_1:def 19 :
for x, y, c being object holds MajorityICirc (x,y,c) = ((1GateCircuit (x,y,'&')) +* (1GateCircuit (y,c,'&'))) +* (1GateCircuit (c,x,'&'));