Research on method of solving logic equations based on integer equations