Наведено математичну модель задачі обчислення вагових коефіцієнтів бінарної нейронної мережі. Доведено, що у разі ступінчастих функцій активації нейронів такою моделлю є система лінійних нерівностей, яка у більшості практичних задач є несумісною. Запропоновано метод аналізу системи нерівностей, який дає змогу обчислити значення вагових коефіцієнтів та синтезувати структуру нейронної мережі, що забезпечує абсолютну точність вихідних сигналів. Наведено алгоритм та приклад реалізації запропонованого методу.