英语翻译we assume that (MSOP) has the form of problem (PM),which