自动省城某命题的主析取范式，通过用JAVA来实现这个目的。