求解，布尔模型的析取范氏，过程讲解（提问式怎么写成等价析取范氏的，以及向量如何对应，还有后面匹配函数的解释