(完整版)主合取范式