kindlus on eelkõige määratud kontaktivabade loogikaelementide arvuga, siis oleks loomulik valida optimaalsuskriteeriumiks loogikaelementide minimaalne arv. Paraku ei õnnestu seda kriteeriumit väljendada küllalt lihtsate loogikaalgebraliste tingimustena. Seepärast kõlbab selline kriteerium ainult variantide võrdluseks, mitte aga range sünteesimetoodika aluseks.