Lytvynenko, O. Method of Solving Nonlinear Equation Systems With Boolean Variables. Aviation 2008, 12, 80-86.