Математическая логика как средство решения задач электроснабжения ...