包里有两个类，每个类为一个单独的主析取范式。