Математико-логическое исследование синтеза контактных схем с одним входом и k выходямистатья