:: deftheorem defines MajorityIStr FACIRC_1:def 17 :
for x, y, c being object holds MajorityIStr (x,y,c) = ((1GateCircStr (<*x,y*>,'&')) +* (1GateCircStr (<*y,c*>,'&'))) +* (1GateCircStr (<*c,x*>,'&'));