SYSTEMATIZATION OF MATHEMATICAL METHODS USED IN THE DESIGN OF LOGIC CONTROL PROGRAMS. conf 2023, 27-30.