Geche, F.; Mulesa, O.; Buchok, V. Verification of Realizability of Boolean Functions by a Neural Element With a Threshold Activation Function. EEJET 2017, 1, 30-40.