含两个全称或存在量词求参问题转化策略
함량개전칭혹존재량사구삼문제전화책략