A tool which minimizes the system of binary functions to MDNF