:: deftheorem defines MajorityCirc FACIRC_1:def 21 :
for x, y, c being object holds MajorityCirc (x,y,c) = (MajorityICirc (x,y,c)) +* (1GateCircuit ([<*x,y*>,'&'],[<*y,c*>,'&'],[<*c,x*>,'&'],or3));