主析取范式解析及其应用