3.3.4 ANS“组与”和ORS“组或”混合逻辑编程法则