Возьмите передаточную функцию:
Произведите верификацию нейросети, задавая допустимые комбинации единичных значений аргументов (эталонные ситуации).
Система логических выражений:
x1 & x2 & x3 → R1,x2 & x3 & x4 → R2,x1 & x3 & x4 → R3
Результат трассировки: