Software for boolean functions minimization using D-Algorithm (Roth)