F. Geche, O. Mulesa, and V. Buchok, “Verification of realizability of boolean functions by a neural element with a threshold activation function”, EEJET, vol. 1, no. 4 (85), pp. 30–40, Feb. 2017.