知道主合取范式怎么赋值