a1:= MA15 > MA10 and MA10>MA5 and Ma15>MA5
A2:=HHV(H,1) >=MA15
a3:=cross(C,Ma10) and C>Ma15
實現:= a1 and a2 and a3
應該就是這樣吧