for f being Function of (2 -tuples_on BOOLEAN),BOOLEAN
for x, y, c being non pair object holds InputVertices (2GatesCircStr (x,y,c,f)) is without_pairs