x+y>3可依次翻译成四元式( )和( )。
出自:湖南大学-计算机科学与技术