a等于7∧8,b等于8∧7,用含a,b的式子表示56∧56